Thomas Wahl

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 29

Top Topics

Constraint Solvers

Technical Report

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Alejandra R. Enriquez, Thomas Wahl, Stefan A. Talke, Philip M. Orton, James F. Booth, Miguel Agulles, Sara Santamaria-Aguilar
MatFlood: An efficient algorithm for mapping flood extent and depth. Environ. Model. Softw. 169 (2023)
Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei
Masking Feedforward Neural Networks Against Power Analysis Attacks. Proc. Priv. Enhancing Technol. 2022 (1) (2022)
Peizun Liu, Thomas Wahl, Thomas W. Reps
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences. ACM Trans. Program. Lang. Syst. 42 (4) (2021)
Andrew Johnson, Thomas Wahl
Delay-Bounded Scheduling Without Delay! (Extended Technical Report). CoRR (2021)
Amel Nestor Docena, Thomas Wahl, Trevor Pearce, Yunsi Fei
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers. SCSS (2021)
Andrew Johnson, Thomas Wahl
Delay-Bounded Scheduling Without Delay! CAV (1) (2021)
Siyue Wang, Pu Zhao, Xiao Wang, Sang Chin, Thomas Wahl, Yunsi Fei, Qi Alfred Chen, Xue Lin
Intrinsic Examples: Robust Fingerprinting of Deep Neural Networks. BMVC (2021)
Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. VSTTE (2020)
Zhen Hang Jiang, Yunsi Fei, Aidong Adam Ding, Thomas Wahl
MemPoline: Mitigating Memory-based Side-Channel Attacks through Memory Access Obfuscation. IACR Cryptol. ePrint Arch. 2020 (2020)
Cheng Gongye, Yunsi Fei, Thomas Wahl
Reverse-Engineering Deep Neural Networks Using Floating-Point Timing Side-Channels. DAC (2020)
Cheng Gongye, Hongjia Li, Xiang Zhang, Majid Sabbagh, Geng Yuan, Xue Lin, Thomas Wahl, Yunsi Fei
New Passive and Active Attacks on Deep Neural Networks in Medical Applications. ICCAD (2020)
Peizun Liu, Thomas Wahl, Akash Lal
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript). CoRR (2019)
Mahsa Bayati, Miriam Leeser, Yijia Gu, Thomas Wahl
Identifying volatile numeric expressions in numeric computing applications. Math. Comput. Simul. 166 (2019)
Peizun Liu, Thomas Wahl, Akash Lal
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers. CAV (2) (2019)
Peizun Liu, Thomas Wahl
CUBA: interprocedural Context-UnBounded Analysis of concurrent programs. PLDI (2018)
Majid Sabbagh, Yunsi Fei, Thomas Wahl, A. Adam Ding
SCADET: a side-channel attack detection tool for tracking prime+probe. ICCAD (2018)
Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
Algebraic Fault Analysis of SHA-3 Under Relaxed Fault Models. IEEE Trans. Inf. Forensics Secur. 13 (7) (2018)
Peizun Liu, Thomas Wahl
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript). CoRR (2018)
Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
Algebraic Fault Analysis of SHA-3. IACR Cryptol. ePrint Arch. 2017 (2017)
Yijia Gu, Thomas Wahl
Stabilizing Floating-Point Programs Using Provenance Analysis. VMCAI (2017)
Peizun Liu, Thomas Wahl
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report). CoRR (2017)
Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl
Algebraic fault analysis of SHA-3. DATE (2017)
Pei Luo, Konstantinos Athanasiou, Liwei Zhang, Zhen Hang Jiang, Yunsi Fei, A. Adam Ding, Thomas Wahl
Compiler-Assisted Threshold Implementation against Power Analysis Attacks. ICCD (2017)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Lost in abstraction: Monotonicity in multi-threaded programs. Inf. Comput. 252 (2017)
Peizun Liu, Thomas Wahl
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. SEFM (2017)
Peizun Liu, Thomas Wahl
Concolic Unbounded-Thread Reachability via Loop Summaries. ICFEM (2016)
Peizun Liu, Thomas Wahl
Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report). CoRR (2016)
Jaideep Ramachandran, Thomas Wahl
Integrating proxy theories and numeric model lifting for floating-point arithmetic. FMCAD (2016)
Konstantinos Athanasiou, Peizun Liu, Thomas Wahl
Unbounded-Thread Program Verification using Thread-State Equations. IJCAR (2016)
Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl
Symbolic Execution for Checking the Accuracy of Floating-Point Programs. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Yijia Gu, Thomas Wahl, Mahsa Bayati, Miriam Leeser
Behavioral Non-portability in Scientific Numeric Computing. Euro-Par (2015)
Peizun Liu, Thomas Wahl
Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report). CoRR (2015)
Martin Brain, Cesare Tinelli, Philipp Rümmer, Thomas Wahl
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. ARITH (2015)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Lost in Abstraction: Monotonicity in Multi-threaded Programs. CONCUR (2014)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
A Widening Approach to Multithreaded Program Verification. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report). CoRR (2014)
Miriam Leeser, Saoni Mukherjee, Jaideep Ramachandran, Thomas Wahl
Make it real: Effective floating-point reasoning via exact arithmetic. DATE (2014)
Peizun Liu, Thomas Wahl
Infinite-state backward exploration of Boolean broadcast programs. FMCAD (2014)
Thomas Wahl
The FMCAD graduate student forum. FMCAD (2013)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. 41 (1) (2012)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Efficient Coverability Analysis by Proof Minimization. CONCUR (2012)
Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS (2012)
Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell
Linear Completeness Thresholds for Bounded Model Checking. CAV (2011)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. VMCAI (2011)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) CoRR (2011)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. J. Autom. Reason. 47 (4) (2011)
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV (2011)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) CoRR (2010)
Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
Context-aware counter abstraction. Formal Methods Syst. Des. 36 (3) (2010)
Thomas Wahl, Alastair F. Donaldson
Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry 2 (2) (2010)
Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao
Boom: Taking Boolean Program Model Checking One Step Further. TACAS (2010)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. IJCAR (2010)
Thomas Wahl, Vijay Victor D'Silva
A lazy approach to symmetry reduction. Formal Aspects Comput. 22 (6) (2010)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. VERIFY@IJCAR (2010)
Alexander Kaiser, Daniel Kroening, Thomas Wahl
Dynamic Cutoff Detection in Parameterized Concurrent Programs. CAV (2010)
Angelo Brillout, Daniel Kroening, Thomas Wahl
Mixed abstractions for floating-point arithmetic. FMCAD (2009)
Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
Symbolic Counter Abstraction for Concurrent Software. CAV (2009)
Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller
Finding Lean Induced Cycles in Binary Hypercubes. SAT (2009)
Mitra Purandare, Thomas Wahl, Daniel Kroening
Strengthening properties using abstraction refinement. DATE (2009)
Sebastian Blank, Thomas Wahl, Tobias Luksch, Karsten Berns
Biologically inspired compliant control of a monopod designed for highly dynamic applications. IROS (2009)
Richard J. Trefler, Thomas Wahl
Extending Symmetry Reduction by Exploiting System Architecture. VMCAI (2009)
Angelo Brillout, Daniel Kroening, Thomas Wahl
Craig Interpolation for Quantifier-Free Presburger Arithmetic CoRR (2008)
Thomas Wahl, Nicolas Blanc, E. Allen Emerson
SVISS: Symbolic Verification of Symmetric Systems. TACAS (2008)
Thomas Wahl
Adaptive Symmetry Reduction. CAV (2007)
E. Allen Emerson, Richard J. Trefler, Thomas Wahl
Reducing Model Checking of the Few to the One. ICFEM (2006)
E. Allen Emerson, Thomas Wahl
Dynamic Symmetry Reduction. TACAS (2005)
E. Allen Emerson, Thomas Wahl
Efficient Reduction Techniques for Systems with Many Components. Electron. Notes Theor. Comput. Sci. 130 (2005)
E. Allen Emerson, Thomas Wahl
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME (2003)
Oliver Karch, Thomas Wahl
Relocalization - Theory and Practice. Discret. Appl. Math. 93 (1) (1999)
Oliver Karch, Hartmut Noltemeier, Thomas Wahl
Robot Localization Using Polygon Distances. Sensor Based Intelligent Robots (1998)
Oliver Karch, Hartmut Noltemeier, Mathias Schwark, Thomas Wahl
Relokalisation - Ein theoretischer Ansatz in der Praxis. AMS (1997)
Stefan Wirag, Kurt Rothermel, Thomas Wahl
Modelling Interaction with HYTIME. Kommunikation in Verteilten Systemen (1995)
Thomas Wahl, Stefan Wirag, Kurt Rothermel
TIEMPO: Temporal Modeling and Authoring of Interactive Multimedia. ICMCS (1995)
Thomas Wahl, Kurt Rothermel
Representing Time in Multimedia Systems. ICMCS (1994)
Thomas Wahl, Michael Salmony
Optimisation of Transport Protocols for High-Speed. INDC (1992)