New abstractions in applied pi-calculus and automated verification of protected executions. | 0 | 0.34 | 2013 |
Power Balanced Circuits For Leakage-Power-Attacks Resilient Design | 1 | 0.37 | 2013 |
Safe enclosures: towards cryptographic techniques for server protection. | 0 | 0.34 | 2013 |
Voltage Sensing Using an Asynchronous Charge-to-Digital Converter for Energy-Autonomous Environments | 0 | 0.34 | 2013 |
Asynchronous Physical Unclonable Functions - AsyncPUF. | 0 | 0.34 | 2012 |
Secure Design Flow for Asynchronous Multi-valued Logic Circuits | 0 | 0.34 | 2010 |
Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits | 2 | 0.45 | 2009 |
Conversion Driven Design Of Binary To Mixed Radix Circuits | 1 | 0.36 | 2008 |