| 2025 | WSC | AI on Small and Noisy Data is Ineffective for ICS Cyber Risk Management. | Yaphet K. Lemiesa, Ranjan Pal, Michael Siegel |
| 2025 | WSC | A Formal and Deployable Gaming Operation to Defend IT/OT Networks. | Ranjan Pal, Lillian Bluestein, Tilek Askerbekov, Michael Siegel |
| 2025 | WSC | A Theory to Quantitatively Estimate and Bound Systemic Cyber Risk. | Ranjan Pal, Konnie Duan, Sander Zeijlemaker, Michael Siegel |
| 2025 | WSC | Sustaining Capital-Boosted Cyber Reinsurance Markets Using CAT Bonds. | Ranjan Pal, Bodhibrata Nag, Sander Zeijlemaker, Michael Siegel |
| 2024 | ICISSP | Revolutionizing Board Cyber-Risk Management Using Collaborative Gaming. | Tony Delvecchio, Sander Zeijlemaker, Giancarlo De Bernardis, Michael Siegel |
| 2024 | WSC | Is Systemic Cyber Risk Management for Enterprises Sustainable? | Ranjan Pal, Konnie Duan, Rohan Xavier Sequeira, Michael Siegel |
| 2024 | WSC | Optimizing Cyber-Resilience in Critical Infrastructure Networks. | Ranjan Pal, Rohan Xavier Sequeira, Sander Zeijlemaker, Michael Siegel |
| 2024 | WSC | (Gen)AI Versus (Gen)AI in Industrial Control Cybersecurity. | Cynthia Zhang, Ranjan Pal, Corwin Nicholson, Michael Siegel |
| 2019 | ICSE | An IoT integrity-first communication protocol via an ethereum blockchain light client. | Elizabeth Reilly, Matthew Maloney, Michael Siegel, Gregory Falco |
| 2010 | FMCAD | Achieving earlier verification closure using advanced formal verification. | Michael Siegel |
| 2009 | DAC | Untwist your brain: efficient debugging and diagnosis of complex assertions. | Michael Siegel, Adriana Maggiore, Christian Pichler |
| 1999 | CAV | Deciding Equality Formulas by Small Domains Instantiations. | Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel |
| 1998 | FM | Translation Validation: From DC+ to C*. | Amir Pnueli, Ofer Strichman, Michael Siegel |
| 1998 | ICALP | Translation Validation for Synchronous Languages. | Amir Pnueli, Ofer Strichman, Michael Siegel |
| 1998 | TACAS | Translation Validation. | Amir Pnueli, Michael Siegel, Eli Singerman |
| 1996 | FM | From Testing Theory to Test Driver Implementation. | Jan Peleska, Michael Siegel |
| 1995 | CONCUR | A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. | Michael Siegel |