Askarov, Aslan

1. Reconciling progress-insensitive noninterference and declassification
   2020/05/05 by Bay, Johan, Askarov, Aslan · 3 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. With a Little Help from My Friends: Transport Deniability for Instant Messaging
   2022/02/04 by Boel Nelson, Nelson, Boel, Aslan Askarov +1 · 1 voice
   Computer Science · Social Sciences · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #Opportunistic and Delay-Tolerant Networks #Privacy, Security, and Data Protection #cs.CR
3. The downgrading semantics of memory safety (Extended version)
   2025/07/15 by René Rydhof Hansen, Andreas Stenbæk Larsen, Hansen, René Rydhof +3 · 2 voices
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
4. Metadata Privacy Beyond Tunneling for Instant Messaging
   2022/10/23 by Boel Nelson, Nelson, Boel, Elena Pagnin +3 · 1 citation
   Computer Science · Social Sciences · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #Privacy, Security, and Data Protection #Security and Verification in Computing