LP3Verif

swMATH41471MaRDI QIDQ1353692FDOQ1353692

Author name not available (Why is that?)

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)

• Casper*
• SpaceTwist
• LocLok
• MaPIR

This page was built for software: LP3Verif