Cited By
View all- Pellegrini ABertacco VAustin TDe Micheli GAl-Hashimi BMueller WMacii E(2010)Fault-based attack of RSA authenticationProceedings of the Conference on Design, Automation and Test in Europe10.5555/1870926.1871134(855-860)Online publication date: 8-Mar-2010
- Krautz UWedler MKunz WWeber KJacobi CPflanz MKyung CChoi KHa S(2008)Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proofProceedings of the 2008 Asia and South Pacific Design Automation Conference10.5555/1356802.1356902(398-403)Online publication date: 21-Jan-2008
- (2008)Arithmetic Circuits Verification without Looking for Internal EquivalencesProceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design10.1109/MEMCOD.2008.4547681(7-16)Online publication date: 1-Jun-2008
- Show More Cited By