Hahn, E. Moritz

1. PFL: a Probabilistic Logic for Fault Trees
   2023/03/30 by Nicoletti, Stefano M., Lopuhaä-Zwakenberg, Milan, Hahn, E. Moritz +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. ATM: a Logic for Quantitative Security Properties on Attack Trees
   2023/09/17 by Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Nicoletti, Stefano M. +5 · 2 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Logic in Computer Science (cs.LO) #Network Security and Intrusion Detection #Software Reliability and Analysis Research