Publications tagged "symbolic exec"

Journal, Conference, and Workshop Papers

2015

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
Kristopher Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, and Michael R. Clarkson
In European Symposium on Research in Computer Security (ESORICS), volume 9327 of Lecture Notes in Computer Science, pages 520–538, Vienna, Austria, September 2015.
tags: android, security, symbolic exec
[ bibtex | doi ]

2011

Directed symbolic execution
Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks
In Eran Yahav, editor, The 18th International Static Analysis Symposium (SAS), volume 6887 of Lecture Notes in Computer Science, pages 95–111, Venice, Italy, September 2011. Springer Berlin / Heidelberg.
tags: analysis, otter, symbolic exec
[ bibtex | doi ]

2010

Symbolic Security Analysis of Ruby-on-Rails Web Applications
Avik Chaudhuri and Jeffrey S. Foster
In Proceedings of the 17th ACM Conference on Computer and Communications Security (CCS), pages 585–594, Chicago, IL, USA, October 2010.
tags: analysis, dyn langs, security, symbolic exec
[ bibtex | doi ]

Mixing Type Checking and Symbolic Execution
Yit Phang Khoo, Bor-Yuh Evan Chang, and Jeffrey S. Foster
In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 436–447, Toronto, Canada, June 2010.
tags: analysis, otter, symbolic exec, types
[ bibtex | doi ]

Using Symbolic Evaluation to Understand Behavior in Configurable Software Systems
Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, and Adam Porter
In Proceedings of the 32nd International Conference on Software Engineering (ICSE), pages 445–454, Cape Town, South Africa, May 2010.
tags: configs, otter, symbolic exec
[ bibtex | doi ]

Technical Reports

SymDroid: Symbolic Execution for Dalvik Bytecode
Jinseong Jeon, Kristopher K. Micinski, and Jeffrey S. Foster
Technical Report CS-TR-5022, Department of Computer Science, University of Maryland, College Park, July 2012.
tags: android, security, symbolic exec
[ bibtex | doi ]

Directed symbolic execution
Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks
Technical Report CS-TR-4979, Department of Computer Science, University of Maryland, College Park, April 2011.
tags: analysis, otter, symbolic exec
[ bibtex | doi ]

Mixing Type Checking and Symbolic Execution (Extended Version)
Yit Phang Khoo, Bor-Yun Evan Chang, and Jeffrey S. Foster
Technical Report CS-TR-4954, Computer Science Department, University of Maryland, College Park, March 2010.
tags: analysis, otter, symbolic exec, types
[ bibtex | doi ]