A Formalization of Declassification with WHAT-and-WHERE-Security. - Sylvia Grewe; Alexander Lux; Heiko Mantel; Jens Sauer (Arch. Formal Proofs, 2014)

A Formalization of Strong Security. - Sylvia Grewe; Alexander Lux; Heiko Mantel; Jens Sauer (Arch. Formal Proofs, 2014)

A Formalization of Assumptions and Guarantees for Compositional Noninterference. - Sylvia Grewe; Heiko Mantel; Daniel Schoepe (Arch. Formal Proofs, 2014)

Using Vampire in Soundness Proofs of Type Systems. - Sylvia Grewe; Sebastian Erdweg; Mira Mezini (Vampire Workshop, 2015)

Type systems for the masses: deriving soundness proofs and efficient checkers. - Sylvia Grewe; Sebastian Erdweg; Pascal Wittmann; Mira Mezini (Onward!, 2015)

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. - Sylvia Grewe; Sebastian Erdweg; Mira Mezini (Vampire@IJCAR, 2016)

VeriTaS: verification of type system specifications: mechanizing domain knowledge about progress and preservation proofs. - Sylvia Grewe (SPLASH (Companion Volume), 2016)

Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; Michael Raulf; Mira Mezini (PPDP, 2016)

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Mira Mezini (PPDP, 2018)

An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. - Oliver Bracevac; Richard Gay; Sylvia Grewe; Heiko Mantel; Henning Sudbrock; Markus Tasch (Arch. Formal Proofs, 2018)

Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Michael Raulf; Mira Mezini (Sci. Comput. Program., 2018)

Automating Type Soundness Proofs for Domain-Specific Languages. - Sylvia Grewe (2019)