The PIT-Cerberus Framework: Preventing Device Tampering During Transit. - Rakesh Podder; Jack Sovereign; Indrajit Ray; Madhan B. Santharam; Stefano Righi (QRS, 2024)

Correctness and security analysis of the protection in transit (PIT) protocol. - Rakesh Podder; Mahmoud Abdelgawad; Indrakshi Ray; Indrajit Ray; Madhan B. Santharam; Stefano Righi (J. Syst. Softw., 2025)