본문

  1. Home
  4. 학위논문
9 Results:SS:PROGRAMMINGLANGUAGES PP:CORNELL UNIVERSITY. 0.473 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Compositional Security for Smart Contracts.
Compositional Security for Smart Contracts.
Yao, Siqiu.Computer Science. | Cornell University. | 2024
프린트
2
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
Geisler, Dietrich.Computer Science. | Cornell University. | 2024
프린트
3
A Unifying Semantics for Markov Kernels and Linear Operators- [electronic resource]
A Unifying Semantics for Markov Kernels and Linear Operators- [electronic resource]
Azevedo de Amorim, Pedro Henrique.Computer Science | Cornell University. | 2023
프린트
4
Compilers for Secure Computation- [electronic resource]
Compilers for Secure Computation- [electronic resource]
Recto, Rolph.Computer Science. | Cornell University. | 2023
프린트
5
Language-Based Techniques for Building Timing Channel Secure Hardware-Software Systems- [electronic resource]
Language-Based Techniques for Building Timing Channel Secure Hardware-Software Systems- [electronic resource]
Zagieboylo, Drew.Computer Science. | Cornell University. | 2023
프린트
6
Stochastic Dynamic Logics- [electronic resource]
Stochastic Dynamic Logics- [electronic resource]
Roberts, Michael.Computer Science. | Cornell University. | 2023
프린트
7
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
프린트
8
Rational Inattention and a Causal Account of Program Security.
Rational Inattention and a Causal Account of Program Security.
Soloviev, Matvey.Computer Science. | Cornell University. | 2021
프린트
9
Mechanisms for Provable Integrity Protection in Decentralized Systems.
Mechanisms for Provable Integrity Protection in Decentralized Systems.
Cecchetti, Ethan Benjamin.Computer Science. | Cornell University. | 2021
프린트
처음1마지막