Jonathan Fetter-Degges

According to our database, Jonathan Fetter-Degges authored at least 2 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Synthesizing framework models for symbolic execution.

Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.

Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson

Proceedings of the Computer Security - ESORICS 2015, 2015