引用次数
引用: 1,933
H-指数: 16
I10-指数 : 26
出版物: 85
Secure Programming via Safety Games.
William Harris
Tiny Trans. Comput. Sci. 1
2012
Automated verification of query equivalence using satisfiability modulo theories
Qi Zhou , Joy Arulraj , Shamkant Navathe , William Harris
Proceedings of the VLDB Endowment 12 ( 11) 1276 -1288
5
2019
Sodium Azide-Associated Laryngospasm After Air Bag Deployment
David Francis , Samuel A. Warren , Keir J. Warner , William Harris
Journal of Emergency Medicine 39 ( 3)
7
2010
Enforcing Kernel Security Invariants with Data Flow Integrity.
Chengyu Song , Byoungyoung Lee , Kangjie Lu , William Harris
network and distributed system security symposium
145
2016
Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants
Hyoukjun Kwon , William Harris , Hadi Esmaeilzadeh
2017 IEEE 30th Computer Security Foundations Symposium (CSF) 420 -435
6
2017
SecDev 2020
Taesoo Kim , Limin Jia , Min Xu , Tuba Yavuz
Capturing the iccMAX calculatorElement: a case study on format design
Vijay H Kothari , Prashant Anantharaman , Sean W Smith , Briland Hitaj
2022 IEEE Security and Privacy Workshops (SPW) 176 -197
3
2022
Programming for a Capability System via Safety Games
Benjamin Farley , William Harris , Thomas Reps , Somesh Jha
2012
FlexJava: Language support for safe and modular approximate programming
Jongse Park , Hadi Esmaeilzadeh , Xin Zhang , Mayur Naik
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
81
Romantic Cryptography
Frank Stajano , William Harris
SPES: A symbolic approach to proving query equivalence under bag semantics
Qi Zhou , Joy Arulraj , Shamkant B Navathe , William Harris
2022 IEEE 38th International Conference on Data Engineering (ICDE) 2735 -2748
12
2022
Sia: Optimizing queries using learned predicates
Qi Zhou , Joy Arulraj , Shamkant Navathe , William Harris
2169 -2181
11
2021
SPES: A two-stage query equivalence verifier
Qi Zhou , Joy Arulraj , Shamkant Navathe , William Harris
arXiv preprint arXiv:2004.00481
4
2020
Symphony: Expressive secure multiparty computation with coordination
Ian Sweet , David Darais , David Heath , William Harris
arXiv preprint arXiv:2302.10076
6
2023
Symphony: A concise language model for MPC
Ian Sweet , David Darais , David Heath , Ryan Estes
Informal Proceedings of the Workshop on Foundations on Computer Secuirty (FCS)
2
2021
λ-Symphony: A concise language model for MPC
David Darais , David Heath , Ryan Estes , William Harris
1
2020
S: Expressive Secure Multiparty Computation with Coordination
Ian Sweet , David Darais , David Heath , William Harris
Icarus: Understanding de facto formats by way of feathers and wax
Sam Cowger , Yerim Lee , Nichole Schimanski , Mark Tullsen
2020 IEEE Security and Privacy Workshops (SPW) 327 -334
7
2020
Completely Automated Equivalence Proofs
Qi Zhou , David Heath , William Harris
arXiv preprint arXiv:1705.03110
2
2017
Relational verification via invariant-guided synchronization
Qi Zhou , David Heath , William Harris
arXiv preprint arXiv:1907.03997
1
2019