Juan Garay
Professor, Texas A&M University, Computer Science & Engineering
Verified email at TAMU.EDU
Cited by 19210
Colin Boyd
Norwegian University of Science and Technology
Verified email at item.ntnu.no
Cited by 15231
Thomas Schneider
Professor of Computer Science, TU Darmstadt
Verified email at encrypto.cs.tu-darmstadt.de
Cited by 14412
Mark D. Ryan
Professor of Computer Security, University of Birmingham
Verified email at bham.ac.uk
Cited by 11305


Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Verified email at nrl.navy.mil
Cited by 8144
