본문

  1. Home
6 Results:SS:INFORMATIONFLOW 0.62 sec.
RSS 
다국어입력
 상세검색
 신착검색
1
Compositional Security for Smart Contracts
Compositional Security for Smart Contracts
Yao, Siqiu. | Cornell University | 2024
미리보기
위치정보
2
Faasten: An Architecture and Implementation for Securing Cloud Applications
Faasten: An Architecture and Implementation for Securing Cloud Applications
Tan, Yue. | Princeton University | 2024
미리보기
위치정보
3
Secure-by-Construction Applications Using Trusted Execution Environments
Secure-by-Construction Applications Using Trusted Execution Environments
Gollamudi, Anitha. | Harvard University | 2021
미리보기
위치정보
4
Rational Inattention and a Causal Account of Program Security
Rational Inattention and a Causal Account of Program Security
Soloviev, Matvey. | Cornell University | 2021
미리보기
위치정보
5
Mechanisms for Provable Integrity Protection in Decentralized Systems
Mechanisms for Provable Integrity Protection in Decentralized Systems
Cecchetti, Ethan Benjamin. | Cornell University | 2021
미리보기
위치정보
6
Cautiously Optimistic Program Analyses for Secure and Reliable Software
Cautiously Optimistic Program Analyses for Secure and Reliable Software
Banerjee, Subarno. | University of Michigan | 2021
미리보기
위치정보
처음1마지막