Verification of randomized security protocols

Article Details
Title:	Verification of randomized security protocols
Article URLs:	https://doi.org/10.1109/LICS.2017.8005126 http://doi.ieeecomputersociety.org/10.1109/LICS.2017.8005126
Alternative Article URLs:
Authors:	Rohit Chadha	University of Missouri - Columbia
	A. Prasad Sistla	University of Illinois
	Mahesh Viswanathan	University of Illinois Urbana-Champaign
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://hdl.handle.net/2142/95900
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1314338, 1553548, 1319754, 1564296, 1314485
DBLP Key:	conf/lics/ChadhaS017
Author Comments:

ACM/IEEE Logic in Computer Science, LICS 2017