FORMAL TREATMENT
Experts
- Jan Camenisch
- Anna Lysyanskaya
- Felix Günther
- Matt Blaze
- Andriana Gkaniatsou
- Megumi Ando
- Pierluigi Nuzzo
- Joan Feigenbaum
- Yevgeniy Dodis
- Myrto Arapinis
- Ari Juels
- Moni Naor
- Gregory Neven
- Peter A. Beerel
- Ben Hamlin
- Michael Østergaard Pedersen
- Martijn Stam
- Alex J. Malozemoff
- Sogol Mazaheri
- Somesh Jha
- Alexander Golovnev
- Ron van der Meyden
- Stephan Krenn
- Gert Læssøe Mikkelsen
- Julian Loss
- Thomas Ristenpart
- Jean Paul Degabriele
- Sebastian Faust
- Dimitris Karakostas
- Aggelos Kiayias
- Poulami Das
- Anja Lehmann
- Chaya Ganesh
- Julia M. Taylor
- Rovedy B. da Silva
- Lawrence J. Mazlack
- Douglas Stebila
- Christian Urban
- Benedikt Schmidt
Venues
- IACR Cryptol. ePrint Arch.
- CoRR
- IEEE Symposium on Security and Privacy
- Agents
- Formal Aspects Comput.
- EUMAS/AT
- CCS
- Inf. Process. Manag.
- New Gener. Comput.
- ProvSec
- STOC
- ISMIS
- Web Intell. Agent Syst.
- IACR Trans. Cryptogr. Hardw. Embed. Syst.
- PODC
- ICFEM
- Formal Description of Programming Concepts
- J. Log. Algebraic Methods Program.
- EUROCRYPT (3)
- Global Computing
- EUROCRYPT
- SODA
- CRYPTO
- FASE
- Protocol Specification, Testing, and Verification
- PLoS Comput. Biol.
- Financial Cryptography
- NCA
- ACM SIGPLAN Notices
- AIMSA
- EUROCRYPT (1)
- Real Time Syst.
- Program Construction
- SBMF
- CRYPTO (3)
- Aust. Comput. J.
- IEEE Trans. Serv. Comput.
- DEXA
- SIGIR
Related Topics
Related Keywords
Popularity