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