- 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
Filters: author is Champagne [Clear All Filters]
Technical Report
Dynamic Integrity Trees for Deployable Memory Authentication,
, Department of Electrical Engineering Technical Report CE-L2007-013, November 2007.
Tagged XML BibTex
Memory Integrity for Secure Computing Platforms,
, Princeton University Department of Electrical Engineering Technical Report CE-L2007-003, June 2007.
Tagged XML BibTex
TEC-Tree: A Low Cost and Parallelizable Tree for Efficient Defense against Memory Replay Attacks,
, Princeton University Department of Electrical Engineering Technical Report CE-L2007-002, March 2007.
Tagged XML BibTex
Miscellaneous
Bastion_rl,
, 2010 .
Tagged XML BibTex
Thesis
"Scalable Security Architecture for Trusted Software",
PhD Thesis, Electrical Engineering Department, Princeton, NJ, Princeton University, pp. 231, 2010 .
Abstract
Tagged XML BibTex
Conference Paper
"Rapid Single-Chip Secure Processor Prototyping on OpenSPARC FPGA Platform",
in Proceedings of the Rapid System Prototyping Symposium (RSP), May 24-27, 2011.
Abstract
Tagged XML BibTex
"Processor-based Tailored Attestation",
Princeton University Department of Electrical Engineering Technical Report CE-L2010-005, Nov 15, 2010., 2010 .
Tagged XML BibTex
"Scalable Architectural Support for Trusted Software",
The 16th IEEE International Symposium on High-Performance Computer Architecture (HPCA), Bangalore, India, Jan 9-14 2010.
Abstract
Tagged XML BibTex
"Forward-Secure Content Distribution to Reconfigurable Hardware",
Proceedings of the Int'l Conference on ReConFigurable Computing and FPGAs (Reconfig'08), December 2008.
Tagged XML BibTex
"The Reduced Address Space for Application Memory Authentication",
Proceedings of the 11th Information Security Conference (ISC'08), September 2008.
Tagged XML BibTex
"TEC-Tree: A Low Cost, Parallelizable Tree for Efficient Defense against Memory Replay Attacks",
Proc. Workshop on Cryptographic Hardware and Embedded Systems (CHES 2007), Vienna, Austria, pp. 289-302, September 2007.
Abstract
Tagged XML BibTex
"Scope of DDoS Countermeasures: Taxonomy of Proposed Solutions and Design Goals for Real-World Deployment",
8th International Symposium on Systems and Information Security (SSI'2006), November 2006.
Abstract
Tagged XML BibTex
Journal Article
"Hardware Mechanisms for Memory Authentication: A Survey of Existing Techniques and Engines",
Transactions on Computational Science IV, Lecture Notes in Computer Science (LNCS), issue 5340, pp. 1-22, March 2009.
Abstract
Tagged XML BibTex
"SP Reference Manual Addendum -- Secure Stacks for TSMs and Emulation of SP Interrupt Protection",
Princeton University Department of Electrical Engineering Technical Report CE-L2009-006, August 2009.
Tagged XML BibTex