Publications related to Contract

Automated Formal Verification of Software Network Functions

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Writing and Drawing Inventions: Patents and Technology in France and the United States (18th-19th centuries)

Jérôme Baudry

Description (through texts, images, models or samples) played a central role in the patent regimes that emerged in the eighteenth century, first in England, later in the United States and in France. Description ensured that the contract—protection in excha ...

2023

DNA-Liposome Hybrid Carriers for Triggered Cargo Release

Diana Kornelia Morzy

The design of simple and versatile synthetic routes to accomplish triggered-release properties in carriers is of particular interest for drug delivery purposes. In this context, the programmability and adaptability of DNA nanoarchitectures in combination w ...

AMER CHEMICAL SOC2022

Orthos: A Trustworthy AI Framework for Data Acquisition

Boi Faltings, Sujit Prakash Gujar, Dimitrios Chatzopoulos

Information acquisition through crowdsensing with mobile agents is a popular way to collect data, especially in the context of smart cities where the deployment of dedicated data collectors is expensive and ineffective. It requires efficient information el ...

Springer2021

Smart Contract With Secret Parameters

Serge Vaudenay

By design, smart contracts' data and computations are public to all participants. In this paper, we study how to create smart contracts with parameters that need to stay secret. We propose a way to keep some of the parameters off-chain, while guaranteeing ...

2020

A Politics of Intellectual Property: Creating a Patent System in Revolutionary France

Jérôme Baudry

Economic interpretations, in particular the lens of the Industrial Revolution, have strongly influenced our understanding of the rise of intellectual property. This article examines the political origins of the 1791 patent law in France, which is usually s ...

2020

Performance Contracts for Software Network Functions

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Aikaterini Argyraki, Arseniy Zaostrovnykh, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions (NFs), or middleboxes, promise flexibility and easy deployment of network services but face the serious challenge of unexpected performance behaviour. We propose the notion of a performance contract, a construct formulated in ter ...

USENIX ASSOC2019

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

Local Energy Storage and Stochastic Modeling for Ultrafast Charging Stations

Hubert Girault, Heron Vrubel, Yorick Ligen

Multi-stall fast charging stations are often thought to require megawatt-range grid connections. The power consumption profile of such stations results in high cost penalties due to monthly power peaks and expensive linkage fees. A local energy storage sys ...

2019

A View on Venetian Apprenticeship through the Garzoni Database

Giovanni Colavizza

A sample of contracts of apprenticeship from three periods in the history of early modern Venice is analysed, as recorded in the archive of the Giustizia Vecchia, a venetian magistracy. The periods are the end of the 16th century, the 1620s and the 1650s. ...

Universitas Studiorum2017

Essays in Bank Financing

Yalda Sigrist

This thesis examines the optimal mode of financing for banks and financial institutions. The first chapter, which is a joint work with Prof. Jean-Charles Rochet, investigates how Systemically Important Financial Institutions (SIFIs) should be financed. The ...

EPFL2017

Incorporating model uncertainty into optimal insurance contract design

Anna Timonina-Farkas

In stochastic optimization models, the optimal solution heavily depends on the selected probability model for the scenarios. However, the scenario models are typically chosen on the basis of statistical estimates and are therefore subject to model error. W ...

Elsevier2017

SLA: to Sign or Not to Sign

Gil Regev, Alain Wegmann, Gorica Tapandjieva Sekulovska

We present our experience of a three-week fieldwork in the form of a contextual inquiry with a service manager at the EPFL IT department. During these three weeks, we encounter a refusal of a user committee to sign a service-level agreement (SLA). We descr ...

CEUR Workshop Proceedings2016

Financing rail infrastructure by multi-annual performance contracts : a case-based evaluation

Dagny Anne Greinus

After decades of public or private vertically integrated monopolies, the organisation of the European railway sector was re-structured. The European Commission has been seeking to improve the efficiency of the railways to strengthen the position of railway ...

EPFL2016

Valuing quantity flexibility under supply chain disintermediation risk

Isik Bicer

We consider a supply chain with one supplier and one retailer in which the parties develop a quantity flexibility contract to specify the conditions of procurement activities. The contract allows the retailer to adjust the initial order quantity after the ...

Elsevier Science Bv2016

Fed funds futures variance futures

Damir Filipovic

We develop a novel contract design, the fed funds futures (FFF) variance futures, which reflects the expected realized basis point variance of an underlying FFF rate. The valuation of short-term FFF variance futures is completely model-independent in a gen ...

Routledge Journals, Taylor & Francis Ltd2016

Essays on Capital Calculation in Insurance

Mathieu Jacques David Cambou

In order to be able to bear the risk they are taking, insurance companies have to set aside a certain amount of cushion that can guarantee the payment of liabilities, up to a dened probability, and thus to remain solvent in case of bad events. This amount ...

EPFL2016

La justice spatiale comme pragmatique : une approche expérimentale de réagencement de la carte hospitalière suisse

Jean-Nicolas Fauchille

Spatial Justice as Pragmatic. An Experimental Approach to the Reorganisation of the Swiss Hospital Map. Since the reorganisation of hospital systems are on the agenda in most developed countries, this research project aims to know and render geographically ...

EPFL2016

Atomic structures of a bactericidal contractile nanotube in its pre- and postcontraction states

Petr Leiman, Peng Ge

R-type pyocins are representatives of contractile ejection systems, a class of biological nanomachines that includes, among others, the bacterial type VI secretion system (T6SS) and contractile bacteriophage tails. We report atomic models of the Pseudomona ...

Nature Publishing Group2015

Virtual X-ray Reading (VXR) of Ancient Administrative Handwritten Documents

Giorgio Margaritondo, Frédéric Kaplan, Fauzia Albertin, Marco Stampanoni

The study of ancient documents is too often confined to specimens of high artistic value or to official writings. Yet, a wealth of information is often stored in administrative records such as ship records, notary papers, work contract, tax declaration, co ...

2014