Automated Analysis and Synthesis of Authenticated Encryption Schemes

Full Text: PDFPDF
Authors: Viet Tung Hoang University of Maryland, Georgetown University, College Park, Washington, D.C., MD, USA
Jonathan Katz University of Maryland, College Park, MD, USA
Alex J. Malozemoff University of Maryland, College Park, MD, USA
Published in:
Cover Image
 
· Proceeding
CCS '15 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security
Pages 84-95
ACM New York, NY, USA ©2015
table of contents ISBN: 978-1-4503-3832-5 doi>10.1145/2810103.2813636
Automated Analysis and Synthesis of Authenticated Encryption Schemes Published by ACM 2015 Article
Bibliometrics Data  Bibliometrics
· Downloads (6 Weeks): 77
· Downloads (12 Months): 77
· Downloads (cumulative): 77
· Citation Count: 0


Tools and Resources

Share:

|
Contact The DL Team Contact Us | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2015 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Reader    QuickTime    Windows Media Player    Real Player
Did you know the ACM DL App is now available?
Did you know your Organization can subscribe to the ACM Digital Library?
The ACM Guide to Computing Literature
All Tags
Export Formats
 
 
Save to Binder