Caroline Trippel
Stanford University
Assistant Professor
Department of Computer Science
Department of Electrical Engineering
Research Area
#Computer science#Consistency model#Shared memory#Programming language#Microarchitecture#Hardware security module#Computer hardware#Instruction set#Software#Exploit
SCIE paper information
Papers relevant to ‘Computer science’: 2
Research performance of SCIE papers matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach
2019/05 IEEE MICRO 3.172 Impact Factor 9 citations
Full-Stack Memory Model Verification with TriCheck
2018/05 IEEE MICRO 2.57 Impact Factor 0 citations
Papers for author ‘Caroline Trippel’: 2
Number of published SCIE papers by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach
2019/05 IEEE MICRO 3.172 Impact Factor 9 citations
Full-Stack Memory Model Verification with TriCheck
2018/05 IEEE MICRO 2.57 Impact Factor 0 citations
conference information
Papers relevant to ‘Computer science’: 4
Research performance of Top-tier Conference matching with ‘Computer science’
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
CheckMate: automated synthesis of hardware exploits and security litmus tests
2018/10 MICRO Top-tier Conference 33 citations
ArMOR: defending against memory consistency model mismatches in heterogeneous architectures
2015/06 ISCA Top-tier Conference 33 citations
Papers for author ‘Caroline Trippel’: 4
Number of published Top-tier Conference by year
*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.
CheckMate: automated synthesis of hardware exploits and security litmus tests
2018/10 MICRO Top-tier Conference 33 citations
ArMOR: defending against memory consistency model mismatches in heterogeneous architectures
2015/06 ISCA Top-tier Conference 33 citations
Log in to PhD.GO
Access the Bookmarks
Add or remove professors and programs of interest from your Bookmarks
Subscribe to the graduate program newsletters that you've bookmarked
Enter your test results to ensure you meet the minimum for each graduate program at Bookmarks
At a glance, see program deadlines you've bookmarked on your calendar