LP3Verif

MaRDI QIDQ1353692swMATHFDO

Official website https://www.tuhh.de/sts/research/data-protection-machine-learning/lp3verif.html

Source code repository https://github.com/Sinnloshausen/LP3Verif

Described by source

• A process calculus for privacy-preserving protocols in location-based service systems

Cited in

(4)

• LocLok
• MaPIR
• Casper*
• SpaceTwist

This page was built for software: LP3Verif