news-events

HOME / news-events / events / software-seminars / 2012

Software Seminar Series (S3)

Abstract: Internet traffic is exposed to potential eavesdroppers. Standard encryption mechanisms do not provide sufficient protect...


Juan Manuel Crespo

Tuesday, December 4, 2012

Juan Manuel Crespo, Post-doctoral Researcher, IMDEA Software Institute

Secure 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...


Abstract: Drive-by downloads are the preferred distribution vector for many malware families. In the drive-by ecosystem many explo...


Abstract: RFuzzy framework is a Prolog-based tool for representing and reasoning with fuzzy information. The advantages of our fra...