Sensitivity by Parametricity
Artikel i vetenskaplig tidskrift, 2024
Haskell
functional programming languages
differential privacy
Författare
Elisabet Lobo Vesga
DPella AB
Alejandro Russo
DPella AB
Chalmers, Data- och informationsteknik, Informationssäkerhet
Marco Gaboardi
Boston University
DPella AB
Carlos Tomé Cortinas
Chalmers, Data- och informationsteknik, Informationssäkerhet
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 8 OOPSLA2 286Octopi: Säker Programering för Sakernas Internet
Stiftelsen för Strategisk forskning (SSF) (RIT17-0023), 2018-03-01 -- 2023-02-28.
WebSec: Säkerhet i webb-drivna system
Stiftelsen för Strategisk forskning (SSF) (RIT17-0011), 2018-03-01 -- 2023-02-28.
Ämneskategorier (SSIF 2025)
Säkerhet, integritet och kryptologi
Ämneskategorier (SSIF 2011)
Programvaruteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1145/3689726