Abstract: Can we build molecular-scale devices that are justly called robots? A macroscopic robot has a large source of determinis...

Abstract: The talk concerns the design of code protecting transformations for white-box cryptography in a MATE (Man-At-The-End) at...

Abstract: Doodle (www.doodle.com) is the worldwide leader when it comes to online consensus-based scheduling. The service reaches ...

Abstract: Software-defined radio (SDR) brings the flexibility of software to the domain of wireless protocol design, promising bot...

Abstract: Growth-rate analysis is the problem of finding, for a program in a suitable programming language, how fast the computed ...

Abstract: Recent years have seen the development of successful commercial programming tools based on static analysis technologies,...

Abstract: A static analysis can check programs for potential errors. A natural question that arises is therefore: who checks the c...

Abstract: This talk explores the culture and motivations of the cryptographic research community. I examine the tension between th...

Abstract: Writing a complex but secure program is a near-impossible task for a conventional operating system. If an attacker compr...

Abstract: Model-based development (MBD) is a popular technique for performing embedded control system design for cyber-physical sy...

Abstract: Octagonal constraints expressing weakly relational numerical properties of the form (l ≤ ± x ± y ≤ h) have been found us...

Abstract: In this talk Colin will give a brief introduction to Clojure, a JVM-based programming language from the Lisp family, as ...

Abstract: Our vision to verify the security of large and complex systems is to: (i) design the system as a componentised, kernel-b...

Abstract: In this talk, I will give an overview of the various current activities within NICTA’s Trustworthy Systems team. B...

Abstract: Software is often redundant, in the sense that some operations are designed to behave like others but their executions d...

Abstract: Research on model-driven engineering has mainly focused on the use of models during software development. This work has ...

Abstract: We investigate the model counting problem for safety speci- fications expressed in linear-time temporal logic (LTL). Mode...

Abstract: Open-world software systems are built by composing heterogeneous, third-party components, whose behavior and interaction...

Abstract: Software surrounds us and drives our lives: most modern systems heavily rely on software. Managing the complexity of the...

Abstract: Despite its vast capacity and associative powers, the human brain does not deal well with interruptions. Particularly in...

Abstract: Formal verification of concurrent and reactive systems is necessary for many modern critical applications. The Timed Con...

Abstract: Session types are used to describe and structure interactions between independent processes in distributed systems. High...

Abstract: In this talk we explore the suitability of Bayesian Inference techniques, specifically Markov Chain Monte Carlo methods,...