Giving semantics to program-counter labels via secure effects.

Andrew K. Hirsch Ethan Cecchetti

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

intended meaning
formal semantics
pairwise
stable model semantics
declarative semantics
logic programming
semantically equivalent
lightweight
class labels
sensitive data
control flow
high level
test cases
semantic information
covert channel