Michael Rawson

3 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 OOPSLA ×1 S&P ×1

Frequent coauthors

Laura Kovács

×2

Ivana Bocevska

×1

Anja Petkovic Komel

×1

Sophie Rain

×1

Przemyslaw Andrzej Walega

×1

Simon Jeanteur

×1

Matteo Maffei

×1

Papers

Divide and Conquer: A Compositional Approach to Game-Theoretic Security
OOPSLA 2025 ·
Ivana Bocevska
,
Anja Petkovic Komel
,
Laura Kovács
,
Sophie Rain
, Michael Rawson
Expressive Power of Temporal Message Passing
AAAI 2025 ·
Przemyslaw Andrzej Walega
, Michael Rawson
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
S&P 2024 ·
Simon Jeanteur
,
Laura Kovács
,
Matteo Maffei
, Michael Rawson