Software Seminar Series (S3)
Tuesday, December 11, 2012
Goran Doychev, PhD Student, IMDEA Software InstitutePreventing Side-Channel Leaks in Web Traffic: A Formal Approach
Abstract: Internet traffic is exposed to potential eavesdroppers. Standard encryption mechanisms do not provide sufficient protect...
Tuesday, December 4, 2012
Juan Manuel Crespo, Post-doctoral Researcher, IMDEA Software InstituteSecure multi-execution through static program transformation
Abstract: Secure multi-execution (SME) is a dynamic technique to ensure secure information flow. In a nutshell, SME enforces secur...
Tuesday, November 27, 2012
Antonio Nappa, PhD Student, IMDEA Software InstituteDriving in the Cloud: An Analysis of Drive-by Download Operations and Abuse Reporting
Abstract: Drive-by downloads are the preferred distribution vector for many malware families. In the drive-by ecosystem many explo...
Tuesday, November 20, 2012
Susana Muñoz, Researcher, Technical University of Madrid (UPM), SpainRFuzzy framework: a Ciao prolog package for fuzzy reasoning and fuzzy data representation
Abstract: RFuzzy framework is a Prolog-based tool for representing and reasoning with fuzzy information. The advantages of our fra...