1 paper
Sophia Drossopoulou, Julian Mackay, Susan Eisenbach +1
In today's complex software, internal trusted code is tightly intertwined with external untrusted code. To reason about internal code, programmers must reason about the potential e…