Seminar za teorijsko računarstvo i Seminar za matematičku logiku 17.06.2019
2 views
Skip to first unread message
Robert Manger
Jun 12, 2019, 3:46:14 AM6/12/19
to seminar-za-teori...@googlegroups.com, vko...@efzg.hr
Dragi kolege,
Na Seminaru za matematičku logiku i osnove matematike i Seminaru za teorijsko računarstvo, u ponedjeljak 17. lipnja 2019. u 17 sati, u predavaonici 105, PMF-MO, Vivek Nigam (Federal University of Paraíba, João Pessoa, Brazil; fortiss An-Institut Technische Universität München) će održati predavanje
Symbolic Timed Trace Equivalence (joint work with Carolyn Talcott and Abraao Aires Urquiza)
Abstract: Intruders can infer properties of a system by measuring the time it takes for the system to respond to some request of a given protocol, that is, by exploiting time side channels. These properties may help intruders distinguish whether a system is a honeypot or concrete system helping them avoid defense mechanisms, or track a user among others violating his privacy. Observational and trace equivalence are technical machineries used for verifying whether two systems are distinguishable. Automating the check for trace equivalence suffers the state-space explosion problem. Symbolic verification is used to mitigate this problem allowing for the verification of relatively large systems. This paper introduces a novel definition of timed trace equivalence based on symbolic time constraints. Protocol verification problems can then be reduced to problems solvable by off-the-shelf SMT solvers. We implemented such machinery in Maude and carry out a number of experiments demonstrating the feasibility of our approach.
Predavanje se može pratiti i on-line na sljedećoj adresi: https://meduza.carnet.hr/index.php/media/watch/11640.
Pozivaju se svi članovi obaju seminara kao i ostali zainteresirani da prisustvuju ovom predavanju.
Lijep pozdrav, Robert Manger.
Na Seminaru za matematičku logiku i osnove matematike i Seminaru za teorijsko računarstvo, u ponedjeljak 17. lipnja 2019. u 17 sati, u predavaonici 105, PMF-MO, Vivek Nigam (Federal University of Paraíba, João Pessoa, Brazil; fortiss An-Institut Technische Universität München) će održati predavanje
Symbolic Timed Trace Equivalence (joint work with Carolyn Talcott and Abraao Aires Urquiza)
Abstract: Intruders can infer properties of a system by measuring the time it takes for the system to respond to some request of a given protocol, that is, by exploiting time side channels. These properties may help intruders distinguish whether a system is a honeypot or concrete system helping them avoid defense mechanisms, or track a user among others violating his privacy. Observational and trace equivalence are technical machineries used for verifying whether two systems are distinguishable. Automating the check for trace equivalence suffers the state-space explosion problem. Symbolic verification is used to mitigate this problem allowing for the verification of relatively large systems. This paper introduces a novel definition of timed trace equivalence based on symbolic time constraints. Protocol verification problems can then be reduced to problems solvable by off-the-shelf SMT solvers. We implemented such machinery in Maude and carry out a number of experiments demonstrating the feasibility of our approach.
Predavanje se može pratiti i on-line na sljedećoj adresi: https://meduza.carnet.hr/index.php/media/watch/11640.
Pozivaju se svi članovi obaju seminara kao i ostali zainteresirani da prisustvuju ovom predavanju.
Lijep pozdrav, Robert Manger.
Reply all
Reply to author
Forward
0 new messages