Defaults and Revision in Structured Theories - Mark Ryan 001 (LICS, 1991)

Sharing Actions and Attributes in Modal Action Logic. - Mark Ryan 001; José Luiz Fiadeiro; T. S. E. Maibaum (TACS, 1991)

Representing Defaults as Sentences with Reduced Priority. - Mark Ryan 001 (KR, 1992)

Prioritising Preference Relations. - Mark Ryan 001 (Theory and Formal Methods, 1993)

Defaults in specifications. - Mark Ryan 001 (RE, 1993)

Towards Specifying Norms. - Mark Ryan 001 (Ann. Math. Artif. Intell., 1993)

A New Continuous Propositional Logic. - Riccardo Poli; Mark Ryan 001; Aaron Sloman (EPIA, 1995)

Belief Revision and Verisimilitude. - Mark Ryan 001; Pierre-Yves Schobbens (Notre Dame J. Formal Log., 1995)

Intertranslating Counterfactuals and Updates. - Mark Ryan 001; Pierre-Yves Schobbens (ECAI, 1996)

Software Package Requirements and Procurement. - Anthony Finkelsteiin; George Spanoudakis; Mark Ryan 001 (IWSSD, 1996)

Belief Revision and Ordered Theory Presentations. - Mark Ryan 001 (Logic, Action, and Information, 1996)

Counterfactuals and Updates as Inverse Modalities. - Mark Ryan 001; Pierre-Yves Schobbens; Odinaldo Rodrigues (TARK, 1996)

On the Relation between Interpreted Systems and Kripke Models. - Alessio Lomuscio; Mark Ryan 001 (Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997)

Symbolic Model Checking for Probabilistic Processes. - Christel Baier; Edmund M. Clarke; Vasiliki Hartonas-Garmhausen; Marta Z. Kwiatkowska; Mark Ryan 001 (ICALP, 1997)

Counterfactuals and Updates as Inverse Modalities. - Mark Ryan 001; Pierre-Yves Schobbens (J. Log. Lang. Inf., 1997)

Formalisms for multi-agent systems. - Mark d'Inverno; Michael Fisher 001; Alessio Lomuscio; Michael Luck; Maarten de Rijke; Mark Ryan 001; Michael J. Wooldridge (Knowl. Eng. Rev., 1997)

Ideal Agents Sharing (some!) Knowledge. - Alessio Lomuscio; Mark Ryan 001 (ECAI, 1998)

Plug-and-play Features. - Malte Plath; Mark Dermot Ryan (FIW, 1998)

SFI: a Feature Integration Tool. - Malte Plath; Mark Ryan 001 (Tool Support for System Specification, Development and Verification, 1998)

Preface. - Christel Baier; Michael Huth 001; Marta Z. Kwiatkowska; Mark Ryan 001 (PROBMIV, 1998)

A Spectrum of Modes of Knowledge Sharing between Agents. - Alessio Lomuscio; Mark Ryan 001 (ATAL, 1999)

An algorithmic approach to knowledge evolution. - Alessio Lomuscio; Mark Ryan 001 (Artif. Intell. Eng. Des. Anal. Manuf., 1999)

Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast - Alessio Lomuscio; Ron van der Meyden; Mark Ryan 001 (CoRR, 1999)

Logic in computer science - modelling and reasoning about systems. - Michael Huth 001; Mark Dermot Ryan (Cambridge University Press, 2000)

Proving feature non-interaction with Alternating-Time Temporal Logic. - Franck Cassez; Mark Dermot Ryan; Pierre-Yves Schobbens (FIREworks, 2000)

Defining Features for CSP: Reflections on the Feature Interaction Contest. - Malte Plath; Mark Dermot Ryan (FIREworks, 2000)

The feature construct for SMV: Semantics. - Malte Plath; Mark Dermot Ryan (FIW, 2000)

Knowledge in multiagent systems: initial configurations and broadcast. - Alessio Lomuscio; Ron van der Meyden; Mark Ryan 001 (ACM Trans. Comput. Log., 2000)

Agents and Roles: Refinement in Alternating-Time Temporal Logic. - Mark Ryan 001; Pierre-Yves Schobbens (ATAL, 2001)

Feature integration using a feature construct. - Malte Plath; Mark Ryan 001 (Sci. Comput. Program., 2001)

Feature Integration as an Operation of Theory Change. - Hannah Harris; Mark Ryan 001 (ECAI, 2002)

Approximating ATL* in ATL. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (VMCAI, 2002)

Requirements, specifications, and minimal refinement. - Nikos Gorogiannis; Mark Ryan 001 (WoLLIC, 2002)

Operators and Laws for Combining Preference Relations. - Hajnal Andréka; Mark Ryan 001; Pierre-Yves Schobbens (J. Log. Comput., 2002)

Implementation of Belief Change Operators Using BDDs. - Nikos Gorogiannis; Mark Ryan 001 (Stud Logica, 2002)

Objects, Agents, and Features: An Introduction. - John-Jules Ch. Meyer; Mark Dermot Ryan; Hans-Dieter Ehrich (Objects, Agents, and Features, 2003)

Feature Integration as Substitution. - Dimitar P. Guelev; Mark Dermot Ryan; Pierre-Yves Schobbens (FIW, 2003)

Theoretical Foundations of Updating Systems. - Hannah Harris; Mark Ryan 001 (ASE, 2003)

Towards Symbolic Strategy Synthesis for left langle { left langle A right rangle } right rangle-LTL. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (TIME, 2003)

Logic in computer science - modelling and reasoning about systems (2. ed.). - Michael Huth 001; Mark Dermot Ryan (Cambridge University Press, 2004)

Synthesising verified access control systems in XACML. - Nan Zhang 003; Mark Ryan 001; Dimitar P. Guelev (FMSE, 2004)

Model-Checking Access Control Policies. - Dimitar P. Guelev; Mark Ryan 001; Pierre-Yves Schobbens (ISC, 2004)

Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. - Steve Kremer; Mark Ryan 001 (SecCo, 2004)

Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. - Steve Kremer; Mark Ryan 001 (ESOP, 2005)

On Anonymity with Identity Escrow. - Aybek Mukhamedov; Mark Dermot Ryan (Formal Aspects in Security and Trust, 2005)

Evaluating Access Control Policies Through Model Checking. - Nan Zhang 003; Mark Ryan 001; Dimitar P. Guelev (ISC, 2005)

A New Algorithm for Strategy Synthesis in LTL Games. - Aidan Harding; Mark Ryan 001; Pierre-Yves Schobbens (TACAS, 2005)

Synthesising Features by Games. - Dimitar P. Guelev; Mark Dermot Ryan; Pierre-Yves Schobbens (AVoCS, 2005)

Coercion-Resistance and Receipt-Freeness in Electronic Voting. - Stéphanie Delaune; Steve Kremer; Mark Ryan 001 (CSFW, 2006)

Resolve-Impossibility for a Contract-Signing Protocol. - Aybek Mukhamedov; Mark Dermot Ryan (CSFW, 2006)

07421 Executive Summary – Formal Protocol Verification Applied. - Liqun Chen 002; Steve Kremer; Mark Dermot Ryan (Formal Protocol Verification Applied, 2007)

07421 Abstracts Collection – Formal Protocol Verification Applied. - Liqun Chen 002; Steve Kremer; Mark Dermot Ryan (Formal Protocol Verification Applied, 2007)

Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. - Ben Smyth; Mark Ryan 001; Liqun Chen 002 (ESAS, 2007)

Improved Multi-party Contract Signing. - Aybek Mukhamedov; Mark Ryan 001 (Financial Cryptography, 2007)

Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. - Aybek Mukhamedov; Mark Dermot Ryan (TGC, 2007)

Guest Editorial. - Stephan Reiff-Marganiec; Mark Ryan 001 (Comput. Networks, 2007)

Minimal refinements of specifications in model and termporal logics. - Nikos Gorogiannis; Mark Ryan 001 (Formal Aspects Comput., 2007)

Minimal refinements of specifications in modal and temporal logics. - Nikos Gorogiannis; Mark Ryan 001 (Formal Aspects Comput., 2007)

Model-checking the preservation of temporal properties upon feature integration. - Dimitar P. Guelev; Mark Dermot Ryan; Pierre-Yves Schobbens (Int. J. Softw. Tools Technol. Transf., 2007)

Composition of Password-Based Protocols. - Stéphanie Delaune; Steve Kremer; Mark Ryan 001 (CSF, 2008)

Automatic Verification of Privacy Properties in the Applied pi Calculus. - Stéphanie Delaune; Mark Ryan 001; Ben Smyth (IFIPTM, 2008)

Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. - Andrew Brown 005; Mark Ryan 001 (ISPEC, 2008)

Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol. - Anongporn Salaiwarakul; Mark Dermot Ryan (ISPEC, 2008)

Analysis of a Biometric Authentication Protocol for Signature Creation Application. - Anongporn Salaiwarakul; Mark Ryan 001 (IWSEC, 2008)

Monitoring the Execution of Third-Party Software on Mobile Devices. - Andrew Brown 005; Mark Ryan 001 (RAID, 2008)

A Sybil-Resilient Reputation Metric for P2P Applications. - Tien Tuan Anh Dinh; Mark Ryan 001 (SAINT, 2008)

Fair multi-party contract signing using private contract signatures. - Aybek Mukhamedov; Mark Dermot Ryan (Inf. Comput., 2008)

Synthesising verified access control systems through model checking. - Nan Zhang 003; Mark Ryan 001; Dimitar P. Guelev (J. Comput. Secur., 2008)

Untraceability in the applied pi-calculus. - Myrto Arapinis; Tom Chothia; Eike Ritter; Mark Ryan 001 (ICITST, 2009)

Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. - Liqun Chen 002; Mark Ryan 001 (Formal Aspects in Security and Trust, 2009)

Trusted Integrity Measurement and Reporting for Virtualized Platforms. - Serdar Cabuk; Liqun Chen 002; David Plaquin; Mark Ryan 001 (INTRUST, 2009)

Context-Aware Monitoring of Untrusted Mobile Applications. - Andrew Brown 005; Mark Ryan 001 (MobiSec, 2009)

A Trusted Infrastructure for P2P-based Marketplaces. - Tien Tuan Anh Dinh; Tom Chothia; Mark Ryan 001 (Peer-to-Peer Computing, 2009)

Towards a Verified Reference Implementation of a Trusted Platform Module. - Aybek Mukhamedov; Andrew D. Gordon 001; Mark Ryan 001 (Security Protocols Workshop, 2009)

Towards the Verification of Pervasive Systems. - Myrto Arapinis; Muffy Calder; Louise A. Dennis; Michael Fisher 001; Philip D. Gray; Savas Konur; Alice Miller 001; Eike Ritter; Mark Ryan 001; Sven Schewe; Chris Unsworth; Rehana Yasmin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Verifying privacy-type properties of electronic voting protocols. - Stéphanie Delaune; Steve Kremer; Mark Ryan 001 (J. Comput. Secur., 2009)

Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. - Myrto Arapinis; Tom Chothia; Eike Ritter; Mark Ryan 001 (CSF, 2010)

Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems. - Hasan Qunoo; Mark Ryan 001 (DBSec, 2010)

Verifying Security Property of Peer-to-Peer Systems Using CSP. - Tien Tuan Anh Dinh; Mark Ryan 001 (ESORICS, 2010)

Election Verifiability in Electronic Voting Protocols. - Steve Kremer; Mark Ryan 001; Ben Smyth (ESORICS, 2010)

A Formal Analysis of Authentication in the TPM. - Stéphanie Delaune; Steve Kremer; Mark Dermot Ryan; Graham Steel (Formal Aspects in Security and Trust, 2010)

Towards Automatic Analysis of Election Verifiability Properties. - Ben Smyth; Mark Ryan 001; Steve Kremer; Mounira Kourjieh (ARSPA-WITS, 2010)

Escrowed Data and the Digital Envelope. - King Ables; Mark Dermot Ryan (TRUST, 2010)

Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. - Stéphanie Delaune; Steve Kremer; Mark Ryan 001 (Towards Trustworthy Elections, 2010)

Symbolic bisimulation for the applied pi calculus. - Stéphanie Delaune; Steve Kremer; Mark Dermot Ryan (J. Comput. Secur., 2010)

Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus. - Aybek Mukhamedov; Mark Dermot Ryan (ACM Trans. Inf. Syst. Secur., 2010)

Applied pi calculus. - Mark Dermot Ryan; Ben Smyth (Formal Models and Techniques for Analyzing Security Protocols, 2011)

StatVerif: Verification of Stateful Processes. - Myrto Arapinis; Eike Ritter; Mark Dermot Ryan (CSF, 2011)

Formal Analysis of Protocols Based on TPM State Registers. - Stéphanie Delaune; Steve Kremer; Mark Dermot Ryan; Graham Steel (CSF, 2011)

A Knowledge-Based Verification Method for Dynamic Access Control Policies. - Masoud Koleini; Mark Ryan 001 (ICFEM, 2011)

Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes. - Ben Smyth; Mark Ryan 001; Liqun Chen 002 (Formal Aspects in Security and Trust, 2011)

Trivitas: Voters Directly Verifying Votes. - Sergiu Bursuc; Gurchetan S. Grewal; Mark Dermot Ryan (VoteID, 2011)

Cloud computing privacy concerns on our doorstep. - Mark Dermot Ryan (Commun. ACM, 2011)

Formal Analysis of UMTS Privacy - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001 (CoRR, 2011)

New privacy issues in mobile telephony: fix and verification. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001; Nico Golde; Kevin Redon; Ravishankar Borgaonkar (CCS, 2012)

Automatic Analysis of Security Properties of the TPM. - Mark Dermot Ryan (INTRUST, 2012)

Privacy Supporting Cloud Computing: ConfiChair, a Case Study. - Myrto Arapinis; Sergiu Bursuc; Mark Ryan 001 (POST, 2012)

Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. - Myrto Arapinis; Sergiu Bursuc; Mark Dermot Ryan (POST, 2012)

Practical Everlasting Privacy. - Myrto Arapinis; Véronique Cortier; Steve Kremer; Mark Ryan 001 (POST, 2013)

Caveat Coercitor: Coercion-Evidence in Electronic Voting. - Gurchetan S. Grewal; Mark Dermot Ryan; Sergiu Bursuc; Peter Y. A. Ryan (IEEE Symposium on Security and Privacy, 2013)

Model Checking Agent Knowledge in Dynamic Access Control Policies. - Masoud Koleini; Eike Ritter; Mark Ryan 001 (TACAS, 2013)

Dynamic Measurement and Protected Execution: Model and Analysis. - Shiwei Xu; Ian Batten; Mark Ryan 001 (TGC, 2013)

Composition of password-based protocols. - Céline Chevalier; Stéphanie Delaune; Steve Kremer; Mark Dermot Ryan (Formal Methods Syst. Des., 2013)

Enhanced certificate transparency (how Johnny could encrypt). - Mark Dermot Ryan (IACR Cryptol. ePrint Arch., 2013)

Privacy-supporting cloud computing by in-browser key translation. - Myrto Arapinis; Sergiu Bursuc; Mark Ryan 001 (J. Comput. Secur., 2013)

Cloud computing security: The scientific challenge, and a survey of solutions. - Mark Dermot Ryan (J. Syst. Softw., 2013)

Du-Vote: Remote Electronic Voting with Untrusted Computers. - Mark Ryan 001; Gurchetan S. Grewal; Liqun Chen 002 (FMS @ Petri Nets, 2014)

Balancing Societal Security and Individual Privacy: Accountable Escrow System. - Jia Liu 003; Mark Dermot Ryan; Liqun Chen 002 (CSF, 2014)

Privacy through Pseudonymity in Mobile Telephony Systems. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Ryan 001 (NDSS, 2014)

Enhanced Certificate Transparency and End-to-End Encrypted Mail. - Mark Dermot Ryan (NDSS, 2014)

Stateful Applied Pi Calculus. - Myrto Arapinis; Jia Liu 003; Eike Ritter; Mark Ryan 001 (POST, 2014)

Tests for Establishing Security Properties. - Vincent Cheval; Stéphanie Delaune; Mark Ryan 001 (TGC, 2014)

Verification of agent knowledge in dynamic access control policies. - Masoud Koleini; Eike Ritter; Mark Ryan 001 (CoRR, 2014)

DTKI: a new formalized PKI with no trusted parties. - Jiangshan Yu; Vincent Cheval; Mark Ryan 001 (CoRR, 2014)

Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). - Bart Preneel; Phillip Rogaway; Mark Dermot Ryan; Peter Y. A. Ryan (Dagstuhl Reports, 2014)

StatVerif: Verification of stateful processes. - Myrto Arapinis; Joshua Phillips; Eike Ritter; Mark Dermot Ryan (J. Comput. Secur., 2014)

Privacy vs. Security - Sophie Stalla-Bourdillon; Joshua Phillips; Mark Dermot Ryan (Springer, 2014)

Du-Vote: Remote Electronic Voting with Untrusted Computers. - Gurchetan S. Grewal; Mark Dermot Ryan; Liqun Chen 002; Michael R. Clarkson (CSF, 2015)

Device Attacker Models: Fact and Fiction (Transcript of Discussion). - Mark Ryan 001 (Security Protocols Workshop, 2015)

Device Attacker Models: Fact and Fiction. - Jiangshan Yu; Mark Dermot Ryan (Security Protocols Workshop, 2015)

How to detect unauthorised usage of a key. - Jiangshan Yu; Mark Ryan 001; Cas Cremers (IACR Cryptol. ePrint Arch., 2015)

Formal analysis of privacy in Direct Anonymous Attestation schemes. - Ben Smyth; Mark Dermot Ryan; Liqun Chen 002 (Sci. Comput. Program., 2015)

Smart-Guard: Defending User Input from Malware. - Michael Denzel; Alessandro Bruni; Mark Dermot Ryan (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

DTKI: A New Formalized PKI with Verifiable Trusted Parties. - Jiangshan Yu; Vincent Cheval; Mark Ryan 001 (Comput. J., 2016)

A Malware-Tolerant, Self-Healing Industrial Control System Framework. - Michael Denzel; Mark Ryan 001; Eike Ritter (SEC, 2017)

Making Decryption Accountable. - Mark Dermot Ryan (Security Protocols Workshop, 2017)

Making Decryption Accountable (Transcript of Discussion). - Mark Dermot Ryan (Security Protocols Workshop, 2017)

Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. - Kevin Milner; Cas Cremers; Jiangshan Yu; Mark Ryan 001 (IACR Cryptol. ePrint Arch., 2017)

Evaluating web PKIs. - Jiangshan Yu; Mark Ryan 001 (IACR Cryptol. ePrint Arch., 2017)

Authenticating compromisable storage systems. - Jiangshan Yu; Mark Ryan 001; Liqun Chen 002 (IACR Cryptol. ePrint Arch., 2017)

Analysis of privacy in mobile telephony systems. - Myrto Arapinis; Loretta Ilaria Mancini; Eike Ritter; Mark Dermot Ryan (Int. J. Inf. Sec., 2017)

Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. - Myrto Arapinis; Jia Liu 003; Eike Ritter; Mark Ryan 001 (J. Log. Algebraic Methods Program., 2017)

Malware Tolerant (Mesh-)Networks. - Michael Denzel; Mark Dermot Ryan (CANS, 2018)

DECIM: Detecting Endpoint Compromise In Messaging. - Jiangshan Yu; Mark Ryan 001; Cas Cremers (IEEE Trans. Inf. Forensics Secur., 2018)

CAOS: Concurrent-Access Obfuscated Store. - Mihai Ordean; Mark Ryan 001; David Galindo (SACMAT, 2019)

Quantitative Verification of Certificate Transparency Gossip Protocols. - Michael Oxford; David Parker 001; Mark Ryan 001 (CNS, 2020)

Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties. - Rajiv Ranjan Singh; José Moreira; Tom Chothia; Mark Dermot Ryan (STM, 2020)

Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols. - Georgios Fotiadis; José Moreira; Thanassis Giannetsos; Liqun Chen 002; Peter B. Rønne; Mark Ryan 001; Peter Y. A. Ryan (STM, 2021)

Symbolon: Enabling Flexible Multi-device-based User Authentication. - Thalia Laing; Eduard Marin; Mark D. Ryan 001; Joshua Schiffman; Gaëtan Wattiau (DSC, 2022)

Protocols for a Two-Tiered Trusted Computing Base. - José Moreira; Mark Ryan 001; Flavio D. Garcia (ESORICS (3), 2022)

Exploring Web3 From the View of Blockchain. - Qin Wang 008; Rujia Li 001; Qi Wang 012; Shiping Chen 001; Mark Ryan 001; Thomas Hardjono (CoRR, 2022)

SoK: TEE-Assisted Confidential Smart Contract. - Rujia Li 001; Qin Wang 008; Qi Wang 012; David Galindo; Mark Ryan 001 (Proc. Priv. Enhancing Technol., 2022)

Automatic verification of transparency protocols. - Vincent Cheval; José Moreira; Mark Ryan 001 (EuroS&P, 2023)

Using Reed-Muller Codes for Classification with Rejection and Recovery. - Daniel Fentham; David Parker 001; Mark Ryan 001 (FPS (1), 2023)

Automatic verification of transparency protocols (extended version). - Vincent Cheval; José Moreira; Mark Ryan 001 (CoRR, 2023)

Accountable Decryption made Formal and Practical. - Rujia Li 001; Yuanzhao Li; Qin Wang 008; Sisi Duan; Qin Wang 012; Mark Ryan 001 (IACR Cryptol. ePrint Arch., 2023)

OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels. - Mo Zhang; Eduard Marin; Mark Ryan 001; Vassilis Kostakos; Toby Murray; Benjamin Tag; David F. Oswald (ARES, 2024)

Remote Registration of Multiple Authenticators. - Yongqi Wang; Thalia Laing; José Moreira; Mark D. Ryan 001 (CODASPY, 2024)

Multivariate Multi-Polynomial Commitment and its Applications. - Xiao Yang; Chengru Zhang; Mark Ryan 001; Gao Meng (IACR Cryptol. ePrint Arch., 2024)

Eva: Efficient IVC-Based Authentication of Lossy-Encoded Videos. - Chengru Zhang; Xiao Yang; David F. Oswald; Mark Ryan 001; Philipp Jovanovic (IACR Cryptol. ePrint Arch., 2024)

Eva: Efficient Privacy-Preserving Proof of Authenticity for Lossily Encoded Videos. - Chengru Zhang; Xiao Yang; David F. Oswald; Mark Ryan 001; Philipp Jovanovic (SP, 2025)

Accountable Decryption Made Formal and Practical. - Rujia Li 001; Yuanzhao Li; Qin Wang 008; Sisi Duan; Qi Wang 012; Mark Ryan 001 (IEEE Trans. Inf. Forensics Secur., 2025)

Activation Functions Considered Harmful: Recovering Neural Network Weights through Controlled Channels. - Jesse Spielman; David F. Oswald; Mark Ryan 001; Jo Van Bulck (CoRR, 2025)