- Home
- People
- Projects
- Practical Security Verification
- Secure Cloud Computing
- Security of AI Systems
- Deep Learning for Security
- Smartphone Security
- Cache Side-Channels and Secure Caches
- De-anonymization
- Running Unvetted Programs
- Secure RISC-V processor
- SP and Bastion Secure Processor Architectures
- Crypto Acceleration
- OpenSPARC Researh
- SecureCore
- Advanced Bit Manipulation
- PAX
- PLX
- Publications
- Research
- Conference and Journals
- Project Archive
- Photos
Aiding Side-channel Attacks on Cryptographic Software with Satisfiability-based Analysis
Source:
IEEE Transactions on VLSI, Volume 15, Issue 4, p.465-470 (2007)| Attachment | Size |
|---|---|
| Potlapally_VLSI_07.pdf | 512 KB |