A Haskell-Embedded DSL for Secure Information-Flow.

Cecilia Manzino Gonzalo de Latorre

Published in: SBMF (2023)

Keyphrases

information flow
flow analysis
communication networks
social networks
programming language
embedded systems
information flows
flow graph
functional programming
supply chain
information security
decision making
software engineering
data integration
development process
plagiarism detection