Carlos V. Rozas

11 papers A* 2C 1Journal 3Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	$\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis. CAV (3) Adwait Godbole, Brian Huffman, Fangfei Liu, Carlos V. Rozas, Sanjit A. Seshia
2022	—	`conf`	Chameleon Cache: Approximating Fully Associative Caches with Random Replacement to Prevent Contention-Based Cache Attacks. SEED Thomas Unterluggauer, Austin Harris, Scott Constable, Fangfei Liu, Carlos V. Rozas
2022	J	`jnl`	Chameleon Cache: Approximating Fully Associative Caches with Random Replacement to Prevent Contention-Based Cache Attacks. CoRR Thomas Unterluggauer, Austin Harris, Scott Constable, Fangfei Liu, Carlos V. Rozas
2021	A*	`conf`	Speculative interference attacks: breaking invisible speculation schemes. ASPLOS Mohammad Behnia, Prateek Sahu, Riccardo Paccagnella, Jiyong Yu, Zirui Neil Zhao, Xiang Zou, Thomas Unterluggauer, Josep Torrellas, Carlos V. Rozas, Adam Morrison, Frank McKeen, Fangfei Liu, Ron Gabor, Christopher W. Fletcher, Abhishek Basak, Alaa R. Alameldeen
2020	J	`jnl`	Speculative Interference Attacks: Breaking Invisible Speculation Schemes. CoRR Mohammad Behnia, Prateek Sahu, Riccardo Paccagnella, Jiyong Yu, Zirui Neil Zhao, Xiang Zou, Thomas Unterluggauer, Josep Torrellas, Carlos V. Rozas, Adam Morrison, Frank McKeen, Fangfei Liu, Ron Gabor, Christopher W. Fletcher, Abhishek Basak, Alaa R. Alameldeen
2017	—	`conf`	Intel® Software Guard Extensions (Intel® SGX) Architecture for Oversubscription of Secure Memory in a Virtualized Environment. HASP@ISCA Somnath Chakrabarti, Rebekah Leslie-Hurd, Mona Vij, Frank McKeen, Carlos V. Rozas, Dror Caspi, Ilya Alexandrovich, Ittai Anati
2016	A*	`conf`	CATalyst: Defeating last-level cache side channel attacks in cloud computing. HPCA Fangfei Liu, Qian Ge, Yuval Yarom, Frank McKeen, Carlos V. Rozas, Gernot Heiser, Ruby B. Lee
2016	—	`conf`	Intel® Software Guard Extensions (Intel® SGX) Support for Dynamic Memory Management Inside an Enclave. HASP@ISCA Frank McKeen, Ilya Alexandrovich, Ittai Anati, Dror Caspi, Simon Johnson, Rebekah Leslie-Hurd, Carlos V. Rozas
2014	J	`jnl`	Mobile Trusted Computing. Proc. IEEE N. Asokan, Jan-Erik Ekberg, Kari Kostiainen, Anand Rajan, Carlos V. Rozas, Ahmad-Reza Sadeghi, Steffen Schulz, Christian Wachsmann
2013	—	`conf`	Innovative instructions and software model for isolated execution. HASP@ISCA Frank McKeen, Ilya Alexandrovich, Alex Berenzon, Carlos V. Rozas, Hisham Shafi, Vedvyas Shanbhogue, Uday R. Savagaonkar
2010	C	`conf`	Modeling the Runtime Integrity of Cloud Servers: A Scoped Invariant Perspective. CloudCom Jinpeng Wei, Calton Pu, Carlos V. Rozas, Anand Rajan, Feng Zhu