Share This Author
Semantics of programming languages - structures and techniques
- Carl A. Gunter
- Computer ScienceFoundations of computing
- 1 May 1993
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of…
CommanderSong: A Systematic Approach for Practical Adversarial Voice Recognition
- Xuejing Yuan, Yuxuan Chen, Carl A. Gunter
- Computer ScienceUSENIX Security Symposium
- 24 January 2018
TLDR
Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX
- Wenhao Wang, Guoxing Chen, Carl A. Gunter
- Computer ScienceCCS
- 20 May 2017
TLDR
Detecting AI Trojans Using Meta Neural Analysis
- Xiaojun Xu, Qi Wang, Huichen Li, N. Borisov, Carl A. Gunter, Bo Li
- Computer ScienceIEEE Symposium on Security and Privacy (SP)
- 8 October 2019
TLDR
Property Inference Attacks on Fully Connected Neural Networks using Permutation Invariant Representations
- Karan Ganju, Qi Wang, Wei Yang, Carl A. Gunter, N. Borisov
- Computer ScienceCCS
- 8 October 2018
TLDR
Dynamic Searchable Encryption via Blind Storage
- Muhammad Naveed, M. Prabhakaran, Carl A. Gunter
- Computer ScienceIEEE Symposium on Security and Privacy
- 18 May 2014
TLDR
A Reference Model for Requirements and Specifications
- Carl A. Gunter, E. Gunter, M. Jackson, P. Zave
- Computer ScienceIEEE Softw.
- 1 May 2000
TLDR
Semantic Domains
- Carl A. Gunter, D. Scott
- PhilosophyHandbook of Theoretical Computer Science, Volume…
- 2 January 1991
Formal verification of standards for distance vector routing protocols
- K. Bhargavan, Davor Obradovic, Carl A. Gunter
- Computer ScienceJACM
- 1 July 2002
TLDR
Privacy APIs: access control techniques to analyze and verify legal privacy policies
- M.J. May, Carl A. Gunter, I. Lee
- Computer Science19th IEEE Computer Security Foundations Workshop…
- 5 July 2006
TLDR
...
...