Winter, Kirsten

1. An abstract semantics of speculative execution for reasoning about security vulnerabilities
   2020/03/10 by Colvin, Robert J., Winter, Kirsten · 2 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. A synchronous program algebra: a basis for reasoning about shared-memory\n and event-based concurrency
   2017/10/09 by Ian J. Hayes, Hayes, Ian J., Larissa Meinicke +5 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Formal Methods in Verification