Theory and practice in secure software development lifecycle: A comprehensive survey

M Otieno, D Odera, JE Ounza - World Journal of Advanced Research and …, 2023 - wjarr.com
Software development security refers to the practice of integrating security measures and
considerations throughout the software development lifecycle to ensure the confidentiality …

Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging

K Bhargavan, C Jacomme, F Kiefer… - 33rd USENIX Security …, 2024 - inria.hal.science
The Signal Messenger recently introduced a new asynchronous key agreement protocol
called PQXDH (Post-Quantum Extended Diffie-Hellman) that seeks to provide post-quantum …

Cryptographic Analysis of Delta Chat

Y Song, L Mareková, KG Paterson - Cryptology ePrint Archive, 2024 - eprint.iacr.org
We analyse the cryptographic protocols underlying Delta Chat, a decentralised messaging
application which uses e-mail infrastructure for message delivery. It provides end-to-end …

Poster: No safety in numbers: traffic analysis of sealed-sender groups in Signal

E Brigham, N Hopper - arXiv preprint arXiv:2305.09799, 2023 - arxiv.org
Secure messaging applications often offer privacy to users by protecting their messages
from would be observers through end-to-end encryption techniques. However, the metadata …

Towards Human-Centric Endpoint Security

J Blessing, PD Chowdhury, M Sameen… - … Workshop on Security …, 2023 - Springer
In a survey of six widely used end-to-end encrypted messaging applications, we consider
the post-compromise recovery process from the perspective of what security audit functions …

[PDF][PDF] Breaking Cryptography in the Wild: The Loose Ends of the Wire

A Tsouloupas - 2023 - research-collection.ethz.ch
In this thesis, we analyse the Wire secure messenger, focusing on the security of the end-to-
end (E2E) protocols it implements. Wire claims that their messenger is used by …

[PDF][PDF] No safety in numbers: traffic analysis of sealed-sender groups in Signal

E Brigham, N Hopper - IEEE Symposium on Security and Privacy Posters, 2023 - par.nsf.gov
Poster: No safety in numbers: traffic analysis of sealed-sender groups in Signal Page 1 Poster:
No safety in numbers: traffic analysis of sealed-sender groups in Signal Eric Brigham Department …