An Axiomatic Approach to Detect Information Leaks in Concurrent Programs.

Sandip Ghosal R. K. Shyamasundar

Published in: CoRR (2021)

Keyphrases

information flow
general purpose
concurrent programs
databases
artificial intelligence