Skip to main content
About
Events
Research
Open Positions
Links
Contact
Search form
Search
Reliably Secure Software Systems (RS
3
) –
DFG Priority Programme 1496
M. Taghdiri
,
Snelting, G.
, and
Sinz, C.
,
“
Information Flow Analysis via Path Condition Refinement
”
, in
Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust (FAST 2010)
, 2010.
Google Scholar
BibTeX