Date: May 6, 2025
Place: A008
Chairs: Charlie Jacomme and Engel Lefaucheaux
Each presentation will last a total of maximum 30 minutes (20 minutes talks + 10 minutes of question/setting up). We encourage all talks to be given in English.
Tentative schedule
- 9h30 – 10h30: Florian Moser, Joannes Guichon
- 10h30 – 10h45: Coffee break 1
- 10h45 – 12h15: Colin Blake, Sarah Dépernet, Léo Louistisserand
- 12h15 – 14h00: pizzas!
- 14h00 – 15h30: Benjamin Testart, Thomas Vinet, Kathleen Barsse
- 15h30 – 15h45: Coffee break 2
- 16h00 – 17h00: Quentin Jacqmin, Benjamin Izart
Detailed program
Joannes Guichon – “B2B debt netting : temporal considerations”
Abstract : “In the business-to-business (B2B) landscape, the temporal dynamics of invoice settlements are critical to the financial health of companies. Recurrent late payments create a network of interlocking debts, where each firm is simultaneously a creditor and a debtor. This situation can provoke liquidity crises and systemic risk. A method to reduce such risk is the integral netting mechanism, in which selected invoices are fully settled by injecting minimal external liquidity at well-chosen points in the network. Methods have been proposed for B2B transactions in a fixed time period. A central question is: how to adapt such netting to a real-world scenario in which invoices arrive continuously over time ?”
Florian Moser – “Internet Voting without trusting the end-user’s device – and a formal proof of security”
Abstract: When performing elections over the internet, similar guarantees as in regular elections must be safeguarded: An internet voting system must guarantee privacy (hence the individual voter’s choice remains private) and correctness (hence all votes are counted as cast). We present a mechanism that is able to achieves these guarantees without trusting the end-users device. Further, we present a formal proof over the system’s privacy and correctness.
WIP
