Noninterference via Symbolic Execution

By Dimiter Milushev, Wim Beck, D. Clarke. 2012

31 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Electrical and Electronic Engineering, Signal Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Danfeng Zhang
2. Daniel Kifer
3. Guanhong Wang
4. Yuxin Wang
5. Zeyu Ding
6. Marco Gaboardi
7. Gian Pietro Farina
8. Stephen Chong

In Electrical and Electronic Engineering

1. Marco Gaboardi
2. Daniel Kifer
3. Gian Pietro Farina
4. Stephen Chong

In Signal Processing

1. Marco Gaboardi
2. Danfeng Zhang
3. Gian Pietro Farina
4. Stephen Chong

Citations in the corpus

• Detecting Violations of Differential Privacy (2018, background): “More relevant to this paper is work on testing relational properties based on symbolic execution [22, 30, 33].”
• Relational Symbolic Execution (2017, methodology): “niques [Hritcu et al. 2013; Milushev et al. 2012], and to reduce the problem to designing convenient and efficient self-compositions”