LSE Summer Week

Date
2014-07-17 19:00:00
Lieu
Conférence : Kremlin Bicêtre, Amphi 4

La LSE Week est une série de conférence présentée par le LSE. Cette série de conférences s'est tenue du 17 juillet au au 19 juillet 2014.

Jeudi 17

Introducing the LSE Week

  • Conférencier : Marwan Burelle
  • Heure : 19h
  • Durée : 15 minutes

Discovery of Pyrser

  • Conférencier : Lionel Auroux
  • Heure : 19h15
  • Durée : 45 minutes
  • Description : Pyrser is a full Python 3 parsing module using P.E.G that provides an agnostic DSL to describe your grammars. Pyrser has an unique grammar composition features to inherit new grammar from existing ones. Pyrser also provides a type system module to handle classic static typing and type inference. To understand what Pyrser is capable of, we will go through basic type theory and how you can use Pyrser to add static typing into a DSL with examples.

Analysis of a door locking system

  • Conférenciers :
    • Pierre Surply
    • Rémi Audebert
  • Heure : 20h15
  • Durée : 45 minutes
  • Description : In this talk we will share what we've learned after installing a rogue controller in the existing electrical system. We then analysed the signal that links the locks and reverse engineered the code of the microcontroller and peripherals.

Katacryptography: Rise and Fall of cryptography

  • Conférencier : Robert Erra
  • Heure : 21h05
  • Durée : 45 minutes
  • Description : From theory to reality: a walk in the cemetery of your cryptographic algorithms. We propose to present some recent problematic issues in the use of cryptographic algorithms.

Vendredi 18

How applications are run on Android?

  • Conférenciers:
    • Jeremy Lefaure
    • Jean-Loup Bogalho
  • Heure : 19h00
  • Durée : 45 minutes
  • Description : A look into Dalvik, the original Android's JVM. What can be improved, and how, by its successor: ART.

Design and implementation of a RPC library in python

  • Conférencier : Rémi Audebert
  • Heure : 19h50
  • Durée : 20 minutes
  • Description : How to leverage Python's features to create clean, intuitive and powerful API.

Memory protection on AVR32

  • Conférencier : Pierre Surply
  • Heure : 20h30
  • Durée : 20 minutes
  • Description : A brief overview of the AVR32 architecture and how to deal with the lack of Memory Management Unit on UC3 microcontrollers.

Linux file systems

  • Conférencier : Adriend Schildknecht
  • Heure : 20h30
  • Durée : 20 minutes
  • Description : Explaining concepts and major features of modern file systems and how they are implemented in linux.

Samedi 19

Porting and testing a TCP/IP stack in your OS without an ethernet driver

  • Conférencier : Nassim Eddequiouaq
  • Heure : 13h00
  • Durée : 45 minutes
  • Description : A simple way to get a TCP/IP stack working in your kernel, An overview of the current portable solutions (uip, lwip, Bentham's implementation..) followed by an emphasis on lwip implementation and a HOW-TO test it without an ethernet driver.

Static Program Analysis: The Good, The Bad and The ugly

  • Conférencier : Marwan burelle
  • Heure : 13h50
  • Durée : 45 minutes
  • Description : Static program analysis is a long running story in theoretical computer science. Unfortunately, it has long been restricted to languages with well founded semantics, far from real-life programming languages. Increasing needs for security and safe applications have push the domain to evolve and leave the cozy but unrealistic proof of program field, into a more useful (but less accurate) approach. This talk will present some background on the domain and proof-of-concept useful analysis.

An overview of the LFH

  • Conférencier : Bruno Pujos
  • Heure : 14h50
  • Durée : 45 minutes
  • Description : Explaining how the heap allocation and in particular the Low Fragmentation Heap works in Windows and the security mechanisms introduced by Microsoft in order to hardening the exploitation. Discussing the heap exploitation techniques and how their difficulty has increased since Windows XP.

GPU on KVM

  • Conférencier : Gabriel Laskar
  • Heure : 15h40
  • Durée : 45 minutes
  • Description : What are the current status of gpu support on KVM ? A brief exploration of gpu support on virtualization.

Reverse engineering AT32UC3A's JTAG

  • Conférencier : Pierre Surply
  • Heure : 16h40
  • Durée : 45 minutes
  • Description : JTAG's IEEE 1149.1 is a widely used interface to test printed circuit boards. Initially designed for boundary scan, it is also used today to access non-standard On-Chip Debugger features like program counter monitoring and breakpoints control. This talk will explain how this interface works and will focus on AT32UC3A microcontroller to explain how to reverse-engineer device specific JTAG features.

Initramfs and a glimpse of the module loader in stos

  • Conférencier : Paul Hervot
  • Heure : 17h35
  • Durée : 20 minutes
  • Description : A short introduction on stos' module loading features used by the commandline, followed by a presentation of initramfs' implementation.

Binary compatibility: many ABI provided by a single kernel

  • Conférencier : Emmanuel Dreyfus
  • Heure : 14h50
  • Durée : 45 minutes
  • Description : We will study the binary compatibility framework provided by the NetBSD kernel to support binaries built for other systems. First we will focus on the Linux case: foreign binary matching, specific system call table, system call translation, signal handling, performances and limits of binary compatibility. We will then have a look at binary compatibility with MacOS X.

Nous n'avons pas d'enregistrement pour cette vidéo.

OpenBSD news: package signing and more

  • Conférencier : Marc Espie
  • Heure : 14h50
  • Durée : 45 minutes
  • Description : With the 5.5 release, the whole of OpenBSD is now signed, which of course includes packages. The tools (pkg_add) were already signature-ready a few years ago, but the advent of a simple signing tool (signify, courtesy of Ted Unangst) gave it some momentum. Here's a look at what's new in pkg_add in 5.5, specifically what goes on under the hood, and the shape of things to come. This will also go back to design specifirs, and how this fits within the general philosophy of OpenBSD.

Conclusion

  • Conférencier : Marwan Burelle

Barbecue

  • Heure : 20h00