FORMAL TREATMENT
Experts
- Felix Günther
- Jan Camenisch
- Anna Lysyanskaya
- Sogol Mazaheri
- Gert Læssøe Mikkelsen
- Somesh Jha
- Miro Haller
- Martijn Stam
- Aggelos Kiayias
- Sebastian Faust
- Megumi Ando
- Ben Hamlin
- Andriana Gkaniatsou
- Matt Blaze
- Joan Feigenbaum
- Stephan Krenn
- Moni Naor
- Matilda Backendal
- Poulami Das
- Alex J. Malozemoff
- Michael Østergaard Pedersen
- Jean Paul Degabriele
- Alexander Golovnev
- Gregory Neven
- Myrto Arapinis
- Ron van der Meyden
- Hannah Davis
- Kenneth G. Paterson
- Dimitris Karakostas
- Peter A. Beerel
- Chaya Ganesh
- Ari Juels
- Yevgeniy Dodis
- Thomas Ristenpart
- Anja Lehmann
- Pierluigi Nuzzo
- Julian Loss
- David Garlan
- Santosh K. Shrivastava
Venues
- IACR Cryptol. ePrint Arch.
- IEEE Symposium on Security and Privacy
- CoRR
- EUROCRYPT (1)
- SAC
- EUROCRYPT (3)
- ASHES@CCS
- PLoS Comput. Biol.
- J. Log. Algebraic Methods Program.
- MERLIN
- Formal Description of Programming Concepts
- ProvSec
- IEEE Trans. Serv. Comput.
- ESOP (1)
- Web Intell. Agent Syst.
- Real Time Syst.
- FTRTFT
- WWV
- DEXA
- FASE
- NCA
- IDT
- SIGIR
- Global Computing
- EUMAS/AT
- ACM SIGPLAN Notices
- IJCAI
- Aust. Comput. J.
- Inf. Process. Manag.
- CRYPTO (2)
- AIMSA
- SODA
- STOC
- Financial Cryptography
- EUROCRYPT
- CCS
- J. Autom. Reason.
- Formal Aspects Comput.
- CRYPTO (3)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend