We need to reduce the attack surface on the cloud for a variety of reasons - reliability, security, trustworthiness, portability, migration, and general reduction in bloat. This talk is about the UniKernels work and the Mirage project, part of the OCaml Labs initiative to bring functional programming to the world with a bang...

 

 

Multihop wireless networks such as mesh, sensor or ad hoc networks have been confined to lab environments for decades. However, due to the progress and ready availability of basic technologies to realize these networks, they are increasingly deployed in the wild. But are these networks fit for survival? Do we need to worry about digital predators or smaller digital pests? How do network mechanisms operate under harsh environmental conditions? This talk discusses past, present, and future of multihop wireless networks with particular emphasis on the development of wilderness survival skills, which we consider to be decisive in their success.

15:15 - 16:00      Philip Brighten Godfrey (University of Illinois at Urbana-Champaign, USA)

 

 

The increasing complexity of modern computer networks has far outpaced the development of tools to manage their operation, leading to vulnerabilities and downtime in critical infrastructure. This talk describes our work on data plane verification, which simplifies network security and management by formally reasoning about network-wide behavior.  Anteater is a system that verifies network-wide properties such as absence of forwarding loops, isolation of tenant networks in a cloud, or consistency of security policy, and revealed multiple real-world bugs in a large university network.  Our second-generation system, VeriFlow, checks network-wide invariants in real time in SDN environments --- within a millisecond per rule insertion in our OpenFlow-based prototype.  I'll also discuss challenges and opportunities in building more dependable networked systems.