Skip to main content
About
Events
Research
Open Positions
Links
Contact
Search form
Search
Reliably Secure Software Systems (RS
3
) –
DFG Priority Programme 1496
S. Greiner
,
Mohr, M.
, and
Beckert, B.
,
“
Modular Verification of Information-Flow Security in Component-Based Systems
”
, in
Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM)
, 2017.
Google Scholar
BibTex