49 citations
- Saarland UniversityDE10 papers
- Max Planck Institute for InformaticsDE5 papers
- KU LeuvenBE2 papers
- Leibniz University HannoverDE2 papers
- Max Planck Institute for Software SystemsDE2 papers
- Max Planck SocietyDE2 papers
- Monash UniversityAU2 papers
- Ruhr University BochumDE2 papers
- Stanford UniversityUS2 papers
- Technical University of MunichDE2 papers
- University of StuttgartDE2 papers
- Zhejiang UniversityCN2 papers
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 24 cited
Verifying Security Policies in Multi-agent Workflows with Loops
Bernd Finkbeiner, Christian Müller, Helmut Seidl +1
We consider the automatic verification of information flow security policies of web-based workflows, such as conference submission systems like EasyChair. Our workflow description…
cs.CR2017★ 4 cited
Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs
Giancarlo Pellegrino, Martin Johns, Simon Koch +2
Cross-Site Request Forgery (CSRF) vulnerabilities are a severe class of web vulnerabilities that have received only marginal attention from the research and security testing commun…