Articles

Don’t Let Bugs Byte: A Practical Introduction into Static Analysis

Building a mobile app is hard. Securing it is even...

From academic research to standardisation

Academic research is considered the spearhead of innovation, designing the...

Security by Design: Embedding Secure Coding Practices

In the context of increasing cyber threats and the growing...

Iris: Dynamic Privacy Preserving Search in Authenticated Chord Peer−to−Peer Networks

Peer-to-Peer (P2P) networks facilitate decentralized communication between nodes, allowing each...

Formal Verification of PKCS#1 Signature Parser using Frama-C

Authors – Martin Hána, Nikolai Kosmatov, Virgile Prevosto and Julien...

PyTrim: A Practical Tool for Reducing Python Dependency Bloat

Authors – Konstantinos Karakatsanis, Georgios Alexopoulos, Ioannis Karyotakis, Foivos Timotheos...

Epilogue: From Visualization to Actionable Security in Software Development

Introduction Over the course of our series [Link 1, Link...

Container Security Best Practices with Docker

Docker containers have significantly transformed software development and deployment, offering...

Weeding old libraries – a short debloating use case

You might know this: There is a library around serving...