Reconciling noninterference and gradual typing.

Arthur Azevedo de Amorim Matt Fredrikson Limin Jia

Published in: LICS (2020)

Keyphrases

security policies
text entry
computer vision
mobile phone
databases
access control