Geoffrey Smith

Geoffrey Smith

School of Computing and Information Sciences, Florida International University
Verified email at cis.fiu.edu
Cited by 6087
Computer Security Foundations Quantitative Information Flow Programming Languages
Tajana Ban Kirigin

Tajana Ban Kirigin

University of Rijeka, Faculty of Mathematics
Verified email at math.uniri.hr
Cited by 317
Mathematics Logic Theoretical Computer Science Computer Security Foundations Multiset rewrite systems