Jonathan Valamehr

14 papers A* 3A 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification.
CoRR
Ishraq Tashdid, Kimia Tasnia, Alexander Garcia, Jonathan Valamehr, Sazadur Rahman
2022 A conf
Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design.
ICCAD
Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, Ramesh Karri, Benjamin Tan
2022 J jnl
Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design.
CoRR
Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, Ramesh Karri, Benjamin Tan
2021 J jnl
Texas A&M Hackin' Aggies' Security Verification Strategies for the 2019 Hack@DAC Competition.
IEEE Des. Test
Saumil Gogri, Priya Joshi, Prashant Vurikiti, Nicole Fern, Michael Quinn, Jonathan Valamehr
2013 J jnl
A 3-D Split Manufacturing Approach to Trustworthy System Development.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, David Marangoni-Simonsen, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
2012 — conf
A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors.
Cryptography and Security
Jonathan Valamehr, Ted Huffmire, Cynthia E. Irvine, Ryan Kastner, Çetin Kaya Koç, Timothy E. Levin, Timothy Sherwood
2012 A* conf
Inspection resistant memory: Architectural support for security from physical examination.
ISCA
Jonathan Valamehr, Melissa Chase, Seny Kamara, Andrew Putnam, Daniel Shumow, Vinod Vaikuntanathan, Timothy Sherwood
2012 J jnl
Opportunities and Challenges of Using Plasmonic Components in Nanophotonic Architectures.
IEEE J. Emerg. Sel. Topics Circuits Syst.
Hassan M. G. Wassel, Daoxin Dai, Mohit Tiwari, Jonathan Valamehr, Luke Theogarajan, Jennifer A. Dionne, Frederic T. Chong, Timothy Sherwood
2011 A* conf
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.
ISCA
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
2010 A conf
Hardware assistance for trustworthy systems through 3-D integration.
ACSAC
Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
2010 — conf
Hardware trust implications of 3-D integration.
WESS
Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
2008 A* conf
A small cache of large ranges: Hardware methods for efficiently searching, storing, and updating big dataflow tags.
MICRO
Mohit Tiwari, Banit Agrawal, Shashidhar Mysore, Jonathan Valamehr, Timothy Sherwood
2008 J jnl
Designing secure systems on reconfigurable hardware.
ACM Trans. Design Autom. Electr. Syst.
Ted Huffmire, Brett Brotherton, Nick Callegari, Jonathan Valamehr, Jeff White, Ryan Kastner, Timothy Sherwood
2008 — conf
Trustworthy System Security through 3-D Integrated Hardware.
HOST
Ted Huffmire, Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine