» Moving to Fortiss from February 2017;
» The Master Thesis of my student Yuri Gil Dantas, now at TU-Darmstadt, is among the finalists of the best master thesis in security in Brazil organized by SBSeg 2016;
» Our paper A Framework for the Analysis of UAV Strategies using Co-simulation has been accepted to SBESC 2016).
» Short visit to Heiko Mantel’s group in TU-Darmstadt;
» Two month visit at Martin Hofmann’s group at LMU funded by AvH foundation;
» Our paper Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders has been accepted to the 21st European Symposium on Research in Computer Security (ESORICS16).
» Our paper Time-Sensitive Distributed Systems has been accepted to the 14th International Conference on Formal Modelling and Analysis of Timed Systems ([FORMATS16][formats16]).
» Our paper Effect-Dependent Transformations for Concurrent Programs has been accepted to the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP16).
» Two papers accepted to the 34th Brazilian Symposium on Telecommunications and Signal Processing (SBRT16).
» Our paper Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly? has been accepted to Workshop on Foundations of Computer Security 2016 (FCS16).
» Our paper A Selective Defense for Mitigating Coordinated Call Attacks has been accepted to the 34th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC).
» Tutorial at the 16th edition in the series of Schools on Formal Methods in Bertinoro (Italy) given by Carolyn Talcott.
» Our paper Formal Specification and Verification of a Selective Defense for TDoS Attacks has been accepted to WRLA 2016
» Renewal of my CNPq Scholarship for High-Productivity Researchers (2016-2019)
» Successful participation at the Summer Workshop of Mathematics organized by University of Brasilia.
» Our paper on Counting Successes: Effects and Transformations for Non-Deterministic Programs was accepted to the Phil Wadler’s Festschrift.
» Our paper on Automated Generation of Focused Proof Systems was accepted to the Workshop on Focusing.
» Successful participation at the DDoS Mitigation in the NREN Environment Workshop.
» Successful participation and organization of the Shonan meeting on Logic and Verification Methods in Security and Privacy.
» Invited talk at LFMTP’15.
» Our paper Inferring Executable Models from Formalized Experimental Evidence has been accepted to CMSB’15.
» Our paper Multi-focused Proofs with Different Polarity Assignments has been accepted to LSFA’15.
» Successful participation in the Network Security Panel which was part of the Workshop of the RNP. You can find photos here.
» Our teams of our Marathon Programming Club obtained the first and second places of the regional tournament organized at EXPOTEC. Here is the news (in Portuguese).
» Journal submission accepted to Mathematical Structures in Computer Science: A Rewriting Framework and Logic for Activities Subject to Regulations. This extends our RTA’12 paper.