Verifying Constant-Time Implementations

Article Details
Title:	Verifying Constant-Time Implementations
Article URLs:	https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/almeida
Alternative Article URLs:
Authors:	José Bacelar Almeida	HASLab, INESC TEC Univ. Minho
	Manuel Barbosa	HASLab, INESC TEC DCC FCUP
	Gilles Barthe	IMDEA Software Institute
	François Dupressoir	IMDEA Software Institute
	Michael Emmi	Bell Labs Nokia
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/imdea-software/ http://github.com/boogie-org/boogie https://github.com/imdea-software/ https://github.com/agl/ctgrind/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/uss/AlmeidaBBDE16
Author Comments:

USENIX Security Symposium, USENIX Security 2016