Lucas Brutschy

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 3

Top Topics

Privacy Preserving

Static Analysis

Horizontally Partitioned Data

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev
Static serializability analysis for causal consistency. PLDI (2018)
Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev
Serializability for eventual consistency: criterion, analysis, and applications. POPL (2017)
Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia
ShamDroid: gracefully degrading functionality in the presence of limited resource access. OOPSLA (2015)
Lucas Brutschy, Pietro Ferrara, Peter Müller
TouchGuru: Integrating Static Analysis with a Mobile Development Environment. MobileDeLi (2014)
Lucas Brutschy, Pietro Ferrara, Peter Müller
Static analysis for independent app developers. OOPSLA (2014)
Pietro Ferrara, Daniel Schweizer, Lucas Brutschy
TouchCost: Cost Analysis of TouchDevelop Scripts. FASE (2014)
Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel
Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model. DPM/SETOP (2013)
Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel
Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model (Extended version). IACR Cryptol. ePrint Arch. 2013 (2013)
Georg Neugebauer, Lucas Brutschy, Ulrike Meyer, Susanne Wetzel
Design and implementation of privacy-preserving reconciliation protocols. EDBT/ICDT Workshops (2013)
Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi
Access Analysis-Based Tight Localization of Abstract Memories. VMCAI (2011)
Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference (2009)