Octavio Perez Kempner
@octaviopk.bsky.social
Computer engineer (UdelaR) and PhD in Cryptography (ENS-Paris). Currently a postdoctoral fellow at NTT. Nací al oriente del río Uruguay.
https://www.octavio.pk
https://www.octavio.pk
… unsuccesful AND you will not appear in the Vatican’s balcony this year to greet people. Sometimes they also add things like that to emphasize rejections. Cruel…
May 9, 2025 at 11:18 AM
… unsuccesful AND you will not appear in the Vatican’s balcony this year to greet people. Sometimes they also add things like that to emphasize rejections. Cruel…
Reposted by Octavio Perez Kempner
Updated version v0.9.5 of our book now available at tamarin-prover.com/book/ , with a range of improvements and exercises at the end.
Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide
The Tamarin prover is a security protocol verification tool that supports both falsification and unbounded verification in the symbolic model.
tamarin-prover.com
May 2, 2025 at 7:44 AM
Updated version v0.9.5 of our book now available at tamarin-prover.com/book/ , with a range of improvements and exercises at the end.
I was also surprise to see that and the amount of crypto papers that made it to STOC this year. Seems a bigger proportion compared to previous editions but haven’t checked…
February 8, 2025 at 11:36 AM
I was also surprise to see that and the amount of crypto papers that made it to STOC this year. Seems a bigger proportion compared to previous editions but haven’t checked…