Blog Posts

2024

• January 15: Verifpal: A Formal Cryptographic Protocol Validator

2023

• October 22: Utilizing the LTE Turbo Encoder to Transmit Covert Data