Publications associées à Contrat en droit suisse

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