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