Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Formal Methods and Language-based Security
file
Data-Dependent Instruction Timing Channels
Submitted by Hovav Shacham on Thu, 10/17/2019 - 1:32pm. Contributors:
Hovav Shacham
Ranjit Jhala
Sorin Lerner
Posters
Applied Privacy
Formal Methods and Language-based Security
Software
Systems
1514435
SaTC PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
Shielding Software From Privileged Side-Channel Attacks
Submitted by John Criswell on Fri, 10/11/2019 - 11:11am. Contributors:
Xiaowan Dong
Zhuojia Shen
John Criswell
Alan L. Cox
Posters
Formal Methods and Language-based Security
Hardware Security Architecture
Software
Systems
1652280
SaTC PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
Transys: Leveraging Common Security Properties Across Hardware Designs
Submitted by Rui Zhang on Thu, 10/10/2019 - 3:59pm. Contributors:
Rui Zhang
Cynthia Sturton
Posters
Formal Methods and Language-based Security
Hardware Security Design
1816637
SaTC PI Meeting 2019
2019
NSF
U.S. Government
Poster
file
Dynamic and Static Program Analysis for Side Channel Vulnerability Detection and Mitigation
Submitted by Dinghao Wu on Thu, 10/10/2019 - 3:29pm. Contributor:
Dinghao Wu
Posters
Formal Methods and Language-based Security
Software
1652790
SaTC PI Meeting 2019
2019
NSF
U.S. Government
Poster
« first
‹ previous
1
2
3
4
