Martin Abadi

Martin Abadi

Research Scientist, Google, and Professor Emeritus, UC Santa Cruz
Verified email at cs.ucsc.edu
Cited by 114147
security programming languages and systems specification and verification
Lakhnech, Yassine

Lakhnech, Yassine

Unversity of Grenoble, CNRS, Verimag
Cited by 3852
specification and verification security logics and automata programming langages semantics
Sergiu Bursuc

Sergiu Bursuc

postdoctoral researcher, University of Luxembourg
Verified email at uni.lu
Cited by 341
cryptography computer security specification and verification automated reasoning
Thirumurugan Shanmugam

Thirumurugan Shanmugam

University of Technology and Applied Sciences, Sohar, Oman
Verified email at utas.edu.om
Cited by 51
Network Reliability IoT specification and verification