Mauricio Papa

Google Scholar
3 publications in security and cryptology related venues
Year
Venue
Title
2003
conf/sec
Integrating Logics and Process Calculi for Cryptographic Protocol Analysis.
Filters
Years:  to