DRUNIX: Engineering High-Performance Enterprise Blockchain Networks at Scale

Pavan Kumar Sollu and Raju Owk
NPCI, India

Security Challenges and Solutions in 5G Networks

Y Chandramouli
Chennai Mathematical Institute, India

Symbolic Verification Meets Provable Security: From Automated Attacks to Automated Proofs

Prashant Agrawal
Max Planck Institute for Security and Privacy, Bochum, Germany

Privacy-Preserving Machine Learning with Privacy-Enhancing Technologies: From Foundations to Practical Systems

Shaik Imtiyazuddin, Delton Myalil, Meena Singh Dilip Thakur
TCS Research, India