Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security

Full Text: PDFPDF Get this ArticleGet this Article
Authors: Pablo Rauzy Institut Mines-Télécom; Télécom ParisTech; CNRS LTCI
Sylvain Guilley Institut Mines-Télécom; Télécom ParisTech; CNRS LTCI
Published in:
Cover Image
 
· Proceeding
PPREW'14 Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014
Article No. 2
ACM New York, NY, USA ©2014
table of contents ISBN: 978-1-4503-2649-0 doi>10.1145/2556464.2556466
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security Published by ACM 2014 Article
  • Tutorial
  • Research
  • Refereed limited
Bibliometrics Data  Bibliometrics
· Downloads (6 Weeks): 2
· Downloads (12 Months): 19
· Downloads (cumulative): 57
· 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