55 citations
- TU Dortmund UniversityDE8 papers
- Ruhr University BochumDE3 papers
- Universität KoblenzDE3 papers
- University of Koblenz and LandauDE3 papers
- University of Naples Federico IIIT3 papers
- A. Alikhanyan National LaboratoryAM2 papers
- Agenzia Spaziale ItalianaIT2 papers
- AGH University of KrakowPL2 papers
- Aix-Marseille UniversitéFR2 papers
- Aoyama Gakuin UniversityJP2 papers
- Arcetri Astrophysical ObservatoryIT2 papers
- Armagh Observatory & PlanetariumGB2 papers
4 papers · 1 filter
Security and Detectability Analysis of Unicode Text Watermarking Methods against Large Language Models
Malte Hellmeier
Securing digital text is becoming increasingly relevant due to the widespread use of large language models. Individuals' fear of losing control over data when it is being used to t…
Innamark: A Whitespace Replacement Information-Hiding Method
Malte Hellmeier, Hendrik Norkowski, Ernst-Christoph Schrewe +2
Large language models (LLMs) have gained significant popularity in recent years. Differentiating between a text written by a human and one generated by an LLM has become almost imp…
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
François Dupressoir, Andrew D. Gordon, Jan Jürjens +1
We describe how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. We prove security theorems in the symbolic model of cryptog…
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descriptio…