Profiles

Profiles

My profile My library

Martin Abadi

Research Scientist, Google, and Professor Emeritus, UC Santa Cruz

Verified email at cs.ucsc.edu

Cited by 122901

security programming languages and systems specification and verification

Lakhnech, Yassine

Unversity of Grenoble, CNRS, Verimag

Cited by 3931

specification and verification security logics and automata programming langages semantics