On Formalizing Information-Flow Control Libraries.

Marco Vassena Alejandro Russo

Published in: PLAS@CCS (2016)

Keyphrases

information flow control
information flow
digital libraries
real time
artificial intelligence
multimedia
databases
search engine
decision making
knowledge base
case study