"We are currently clean on OPSEC": Why JD Can't Encrypt

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Chiodo, Maurice, Erskine, Toni, Müller, Dennis, Wright, James G.
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866908984867291136
author Chiodo, Maurice
Erskine, Toni
Müller, Dennis
Wright, James G.
author_facet Chiodo, Maurice
Erskine, Toni
Müller, Dennis
Wright, James G.
contents We analyse the 2025 Signalgate leak of sensitive US military information by the Trump administration, addressing why confidentiality was violated (messages leaked to the press) in spite of encryption (Signal), to deepen the socio-technical considerations when designing and deploying encryption. First, we use applied pi-calculus to formally model the boutique secure facility setup requested by the US Defence Secretary, to prove that a leak would not be prevented. We then examine how using a secure channel might still not give overall information security, as, in this case, power imbalances between personnel and officials led to the application of cryptography that compromised their operational security. We look at how cryptographic tools may have instilled a false sense of security, and led officials to "overshare". We then apply this analysis to the Trump administration's general desire to burn through political, legal, and now technical process, and demonstrate geopolitical harms that may arise from such ineffective use of cryptography in a brief use case. We conclude that, even with advancements in usability of cryptographic tools, genuine message security is still out of reach of the "average user".
format Preprint
id arxiv_https___arxiv_org_abs_2604_19711
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle "We are currently clean on OPSEC": Why JD Can't Encrypt
Chiodo, Maurice
Erskine, Toni
Müller, Dennis
Wright, James G.
Cryptography and Security
Computers and Society
Human-Computer Interaction
K.6.5; K.4.1; K.4.2; K.7.4
We analyse the 2025 Signalgate leak of sensitive US military information by the Trump administration, addressing why confidentiality was violated (messages leaked to the press) in spite of encryption (Signal), to deepen the socio-technical considerations when designing and deploying encryption. First, we use applied pi-calculus to formally model the boutique secure facility setup requested by the US Defence Secretary, to prove that a leak would not be prevented. We then examine how using a secure channel might still not give overall information security, as, in this case, power imbalances between personnel and officials led to the application of cryptography that compromised their operational security. We look at how cryptographic tools may have instilled a false sense of security, and led officials to "overshare". We then apply this analysis to the Trump administration's general desire to burn through political, legal, and now technical process, and demonstrate geopolitical harms that may arise from such ineffective use of cryptography in a brief use case. We conclude that, even with advancements in usability of cryptographic tools, genuine message security is still out of reach of the "average user".
title "We are currently clean on OPSEC": Why JD Can't Encrypt
topic Cryptography and Security
Computers and Society
Human-Computer Interaction
K.6.5; K.4.1; K.4.2; K.7.4
url https://arxiv.org/abs/2604.19711