Solo: a lightweight static analysis for differential privacy von Abuah, Chiké, Darais, David, Near, Joseph P.

Volltext

Contextual Linear Types for Differential Privacy von Toro, Matías, Darais, David, Abuah, Chike, Near, Joseph P., Árquez, Damián, Olmedo, Federico, Tanter, Éric

Volltext

A language for probabilistically oblivious computation von Darais, David, Sweet, Ian, Liu, Chang, Hicks, Michael

Volltext

KATch: A Fast Symbolic Verifier for NetKAT von Moeller, Mark, Jacobs, Jules, Belanger, Olivier Savary, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra

Volltext

Abstracting definitional interpreters (functional pearl) von Darais, David, Labich, Nicholas, Nguyen, Phúc C., Van Horn, David

Volltext

Constructive Galois Connections von DARAIS, DAVID, HORN, DAVID VAN

Volltext

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy von Near, Joseph P., Darais, David, Abuah, Chike, Stevens, Tim, Gaddamadugu, Pranav, Wang, Lun, Somani, Neel, Zhang, Mu, Sharma, Nikhil, Shan, Alex, Song, Dawn

Volltext

Macros that Work Together: Compile-time bindings, partial expansion, and definition contexts von FLATT, MATTHEW, CULPEPPER, RYAN, DARAIS, DAVID, FINDLER, ROBERT BRUCE

Volltext

Macros that Work Together von FLATT, MATTHEW, CULPEPPER, RYAN, DARAIS, DAVID, FINDLER, ROBERT BRUCE

Volltext

Solo: A Lightweight Static Analysis for Differential Privacy von Abuah, Chike, Darais, David, Near, Joseph P

Volltext bestellen

KATch: A Fast Symbolic Verifier for NetKAT von Moeller, Mark, Jacobs, Jules, Olivier Savary Belanger, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra

Volltext

Parsing with derivatives: a functional pearl von Might, Matthew, Darais, David, Spiewak, Daniel

Volltext

Symphony: Expressive Secure Multiparty Computation with Coordination von Sweet, Ian, Darais, David, Heath, David, Harris, William, Estes, Ryan, Hicks, Michael

Volltext

Constructive Galois connections: taming the Galois connection framework for mechanized metatheory von Darais, David, Van Horn, David

Volltext

DDUO: General-Purpose Dynamic Analysis for Differential Privacy von Abuah, Chike, Silence, Alex, Darais, David, Near, Joe

Volltext bestellen

DuetSGX: Differential Privacy with Secure Hardware von Nguyen, Phillip, Silence, Alex, Darais, David, Near, Joseph P

Volltext bestellen

Backpropagation Clipping for Deep Learning with Differential Privacy von Stevens, Timothy, Ngong, Ivoline C, Darais, David, Hirsch, Calvin, Slater, David, Near, Joseph P

Volltext bestellen

A Language for Probabilistically Oblivious Computation von Darais, David, Sweet, Ian, Liu, Chang, Hicks, Michael

Volltext

The 2010 Census Confidentiality Protections Failed, Here's How and Why von Abowd, John M, Adams, Tamara, Ashmead, Robert, Darais, David, Dey, Sourya, Garfinkel, Simson L, Goldschlag, Nathan, Kifer, Daniel, Leclerc, Philip, Lew, Ethan, Moore, Scott, Rodríguez, Rolando A, Tadros, Ramy N, Vilhuber, Lars

Volltext bestellen

Solo: A Lightweight Static Analysis for Differential Privacy von Abuah, Chike, Darais, David, Near, Joseph P

Volltext