Concept

OpenBSD

Related publications (13)

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

BIAS: Bluetooth Impersonation AttackS

Daniele Antonioli

Bluetooth (BR/EDR) is a pervasive technology for wireless communication used by billions of devices. The Bluetooth standard includes a legacy authentication procedure and a secure authentication procedure, allowing devices to authenticate to each other usi ...

IEEE COMPUTER SOC2020

PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications

Mathias Josef Payer, Zhenyu Wu

setuid system calls enable critical functions such as user authentications and modular privileged components. Such operations must only be executed after careful validation. However, current systems do not perform rigorous checks, allowing exploitation of ...

ASSOC COMPUTING MACHINERY2019

MRCZ - A file format for cryo-TEM data with fast compression

Henning Paul-Julius Stahlberg

The introduction of fast CMOS detectors is moving the field of transmission electron microscopy into the computer science field of big data. Automated data pipelines control the instrument and initial processing steps which imposes more onerous data transf ...

Elsevier BV2017

Bringing robotics into formal education using the Thymio open source hardware robot

Francesco Mondada, Léa Marie Pereyre, Michael Bonani, Stéphane Magnenat, Philippe Rétornaz, Fanny Riedo, Manon Aline Briod

Mobile robots are valuable tools for education because of both the enthusiasm they raise and the multidisciplinary nature of robotics technology. Mobile robots give access to a wide range of fields, such as complex mechanics, sensors, wireless transmission ...

Institute of Electrical and Electronics Engineers2017

Distributed Authentication in Anonymous Mobile Communities

Hamza Harkous

With the recent boom in smartphones technology, online social networks are going mobile. This trend urged phone manufacturers and social networking companies to seek novel business strategies to monetize from these new "gateways" and to give the users ...

2012

Open source corporate strategy (OSCS)

Juan Andrei Villarroel Fernandez

This doctoral dissertation defines and sheds light on a nascent phenomenon in management, informally referred to as "crowdsourcing". I term this concept Open Source Corporate Strategy, or OSCS, which borrows insights from the open source innovation literat ...

EPFL2008

Using BIP for modeling and verification of networked systems - A case study on TinyOS-based networks

Joseph Sifakis, Marc Poulhiès

We apply a model construction methodology to TinyOS-based networks, using the Behavior-Interaction-Priority (BIP) component framework. The methodology consists in building the model of a node as the composition of a model extracted from a nesC program desc ...

2007

Contrasting the excited-state dynamics of the photoactive yellow protein chromophore: Protein versus solvent environments

Majed Chergui, Goran Zgrablic, Stefan Haacke

Wavelength- and time-resolved fluorescence expts. have been performed on the photoactive yellow protein, the E46Q mutant, the hybrids of these proteins contg. a nonisomerizing "locked" chromophore, and the native and locked chromophores in aq. soln. The ...

2004

Bayesian Model Selection for Support Vector Machines, Gaussian Processes and Other Kernel Classifiers

Matthias Seeger

We present a variational Bayesian method for model selection over families of kernels classifiers like Support Vector machines or Gaussian processes. The algorithm needs no user interaction and is able to adapt a large number of kernel parameters to given ...

2000

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.