Sign in
Cecilia Manzino
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 2
Top Topics
Flow Analysis
Plagiarism Detection
Functional Programming
Information Flows
Top Venues
LSFA
SBLP
SBMF
</>
Publications
</>
Cecilia Manzino
,
Gonzalo de Latorre
A Haskell-Embedded DSL for Secure Information-Flow.
SBMF
(2023)
Cecilia Manzino
,
Alberto Pardo
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types.
LSFA
(2020)
Cecilia Manzino
,
Alberto Pardo
A Security Types Preserving Compiler in Haskell.
SBLP
(2014)
Cecilia Manzino
,
Alberto Pardo
Shortcut Fusion of Monadic Programs.
J. Univers. Comput. Sci.
14 (21) (2008)