Items where Author is "Maffei, Matteo"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article | Book Section | Monograph | Other
Number of items: 63.

Conference or Workshop Item (A Paper)

Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella
(2018) A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.
In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018.

Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo
(2017) SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks.
In: Proceedings of the 24th Annual Symposium on Network and Distributed System Security (NDSS '17).
Conference: NDSS Network and Distributed System Security Symposium

Malavolta, Giulio and Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo and Ravi, Srivatsan
(2017) Concurrency and Privacy with Payment-Channel Networks.
In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017.
Conference: CCS ACM Conference on Computer and Communications Security

Maffei, Matteo and Malavolta, Giulio and Reinert, Manuel and Schröder, Dominique
(2017) Maliciously Secure Multi-Client ORAM.
In: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings.

Calzavara, Stefano and Grishchenko, Ilya and Koutsos, Adrien and Maffei, Matteo
(2017) A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017) A Type System for Privacy Properties.
In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017.
Conference: CCS ACM Conference on Computer and Communications Security

Maffei, Matteo and Grimm, Niklas and Focardi, Riccardo and Calzavara, Stefano
(2016) Micro-Policies for Web Session Security.
In: Proceedings of the 29th Computer Security Foundations Symposium 2016 (CSF '16).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Grishchenko, Ilya and Maffei, Matteo and Calzavara, Stefano
(2016) HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving.
In: Proceedings of the 1st IEEE European Symposium on Security and Privacy (Euro S&P '16).
Conference: EuroS&P IEEE European Symposium on Security and Privacy

Mohammadi, Esfandiar and Bendun, Fabian and Pecina, Kim and Maffei, Matteo and Backes, Michael
(2015) Symbolic Malleable Zero-knowledge Proofs.
In: Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF '15).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Maffei, Matteo and Malavolta, Giulio and Reinert, Manuel and Schröder, Dominique
(2015) Privacy and Access Control for Outsourced Personal Records.
In: Proceedings of the 36th IEEE Symposium on Security and Privacy (S&P).
Conference: SP IEEE Symposium on Security and Privacy

Moreno-Sanchez, Pedro and Kate, Aniket and Maffei, Matteo and Pecina, Kim
(2015) Privacy Preserving Payments in Credit Networks.
In: Proceedings of the 22nd Annual Network and Distributed System Security Symposium (NDSS '15).
Conference: NDSS Network and Distributed System Security Symposium

Cortier, Véronique and Eigner, Fabienne and Kremer, Steve and Maffei, Matteo and Wiedling, Cyrille
(2015) Type-Based Verification of Electronic Voting Protocols.
In: Proceedings of the 4th International Conference on Principles of Security and Trust (POST).

Maffei, Matteo and Malavolta, Giulio and Reinert, Manuel and Schröder, Dominique
(2014) Brief Announcement: Towards Security and Privacy for Outsourced Data in the Multi-party Setting.
In: Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing.
Conference: PODC ACM Symposium on Principles of Distributed Computing

Eigner, Fabienne and Kate, Aniket and Maffei, Matteo and Pampaloni, Francesca and Pryvalov, Ivan
(2014) Differentially Private Data Aggregation with Optimal Utility.
In: 30th Annual Computer Security Applications Conference (ACSAC).
Conference: ACSAC Annual Computer Security Applications Conference

Eigner, Fabienne and Kate, Aniket and Maffei, Matteo and Pampaloni, Francesca and Pryvalov, Ivan
(2014) Privacy-preserving Data Aggregation with Optimal Utility Using Arithmetic SMC -- Extended Abstract.
In: Workshop on Usable and Efficient Secure Multiparty Computation -- Satellite Event of ESORICS.

Backes, Michael and Gerling, Sebastian and Hammer, Christian and Maffei, Matteo and Styp-Rekowsky, Philipp von
(2013) AppGuard – Fine-grained Policy Enforcement for Untrusted Android Applications.
In: 8th International Workshop on Data Privacy Management (DPM'13).

Eigner, Fabienne and Maffei, Matteo
(2013) Differential Privacy by Typing in Security Protocols.
In: Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF '13).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Maffei, Matteo and Pecina, Kim and Reinert, Manuel
(2013) Security and Privacy by Declarative Design.
In: Proceedings of the IEEE 26th Computer Security Foundations Symposium (CSF '16).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Eigner, Fabienne and Maffei, Matteo
(2013) Differential Privacy by Typing in Security Protocols.
In: Proc. 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot 2013).

Bugliesi, Michele and Calzavara, Stefano and Eigner, Fabienne and Maffei, Matteo
(2013) Logical Foundations of Secure Resource Management.
In: Proc. of the 2nd Conference on Principles of Security and Trust (POST 2013).

Backes, Michael and Kate, Aniket and Maffei, Matteo and Pecina, Kim
(2012) ObliviAd: Provably Secure and Practical Online Behavioral Advertising.
In: Proceedings of the 33rd IEEE Symposium on Security and Privacy 2012 (Oakland 2012).
Conference: SP IEEE Symposium on Security and Privacy

Backes, Michael and Maffei, Matteo and Pecina, Kim
(2012) Automated Synthesis of Secure Distributed Applications.
In: Proceedings of the 19th Annual Network and Distributed System Security Symposium (NDSS '12).
Conference: NDSS Network and Distributed System Security Symposium

Bugliesi, Michele and Calzavara, Stefano and Eigner, Fabienne and Maffei, Matteo
(2012) Affine Refinement Types for Authentication and Authorization.
In: Proc. 6th International Symposium on Trustworthy Global Computing (TGC 2012).

Backes, Michael and Maffei, Matteo and Pecina, Kim
(2011) A Security API for Distributed Social Networks.
In: Proceedings of the Network and Distributed System Security Symposium (NDSS '11).
Conference: NDSS Network and Distributed System Security Symposium

Backes, Michael and Maffei, Matteo and Pecina, Kim and Reischuk, Raphael M.
(2011) G2C: Cryptographic Protocols from Goal-Driven Specifications.
In: TOSCA'11: Proceedings of the 2011 International Conference on Theory of Security and Applications (now POST), held as part of ETAPS 2011.

Bugliesi, Michele and Calzavara, Stefano and Eigner, Fabienne and Maffei, Matteo
(2011) Resource-aware Authorization Policies for Statically Typed Cryptographic Protocols.
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Maffei, Matteo and Pecina, Kim
(2011) Securing social networks.
In: Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011.
Conference: PODC ACM Symposium on Principles of Distributed Computing

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2011) Union and Intersection Types for Secure Protocol Implementations.
In: Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers.

Maffei, Matteo and Pecina, Kim
(2011) Privacy-aware proof-carrying authorization.
In: Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011.

Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim
(2010) Anonymity and Trust in Distributed Systems.
In: Proceedings of 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC).
Conference: PODC ACM Symposium on Principles of Distributed Computing

Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim
(2010) Anonymous Webs of Trust.
In: Proceedings of 10th Privacy Enhancing Technologies Symposium (PETS).

Backes, Michael and Maffei, Matteo and Mohammadi, Esfandiar
(2010) Computationally Sound Abstraction and Verification of Secure Multi-Party Computations.
In: Proceedings of the 30th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS).

Backes, Michael and Maffei, Matteo and Unruh, Dominique
(2010) Computationally Sound Verification of Source Code.
In: ACM CCS 2010.
Conference: CCS ACM Conference on Computer and Communications Security

Backes, Michael and Grochulla, Martin and Hriţcu, Cătălin and Maffei, Matteo
(2009) Achieving Security Despite Compromise Using Zero-knowledge.
In: Proceedings of 22nd IEEE Computer Security Foundations Symposium (CSF).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Hamerlik, Marek and Linari, Alessandro and Maffei, Matteo and Tryfonopoulos, Christos and Weikum, Gerhard
(2009) Anonymity and Censorship Resistance in Unstructured Overlay Networks.
In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I.

Backes, Michael and Hamerlik, Lech Marek and Linari, Alessandro and Maffei, Matteo and Tryfonopoulos, Christos and Weikum, Gerhard
(2009) Anonymous and Censorship-resistant Content-sharing in Unstructured Overlays.
In: Proceedings of OTM Conferences.

Backes, Michael and Maffei, Matteo
(2009) Design and Verification of Anonymous Trust Protocols.
In: Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers.

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2008) Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus.
In: Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Backes, Michael and Hamerlik, Lech Marek and Linari, Alessandro and Maffei, Matteo and Tryfonopoulos, Christos and Weikum, Gerhard
(2008) Brief Announcement: Anonymous and Censorship-resistant Content-sharing in Unstructured Overlays.
In: Proceedings of 27th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC).
Conference: PODC ACM Symposium on Principles of Distributed Computing

Backes, Michael and Lorenz, Stefan and Maffei, Matteo and Pecina, Kim
(2008) CASPA: Causality-based Abstraction for Security Protocol Analysis.
In: Proceedings of 20th International Conference on Computer Aided Verification (CAV).
Conference: CAV Computer Aided Verification

Backes, Michael and Maffei, Matteo and Hriţcu, Cătălin
(2008) Type-checking zero-knowledge.
In: Proceedings of the 15th ACM conference on Computer and communications security.
Conference: CCS ACM Conference on Computer and Communications Security

Backes, Michael and Maffei, Matteo and Unruh, Dominique
(2008) Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.
In: IEEE Symposium on Security and Privacy, Proceedings of SSP'08.
Conference: SP IEEE Symposium on Security and Privacy

Backes, Michael and Cortesi, Agostino and Focardi, Riccardo and Maffei, Matteo
(2007) A Calculus of Challenges and Responses.
In: Proceedings of 5th ACM Workshop on Formal Methods in Security Engineering (FMSE).

Backes, Michael and Cortesi, Agostino and Maffei, Matteo
(2007) Causality-based Abstraction of Multiplicity in Security Protocols.
In: Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF).
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Article

Maffei, Matteo and Malavolta, Giulio and Reinert, Manuel and Schröder, Dominique
(2017) Maliciously Secure Multi-Client ORAM.
IACR Cryptology ePrint Archive, 2017. p. 329.

Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella
(2017) A Monadic Framework for Relational Verification (Functional Pearl).
CoRR, abs/17.

Maffei, Matteo
(2017) Security & privacy column.
SIGLOG News, 4 (1). p. 5.

Maffei, Matteo
(2017) Security & privacy column.
SIGLOG News, 4 (4). p. 18.

Calzavara, Stefano and Grishchenko, Ilya and Koutsos, Adrien and Maffei, Matteo
(2017) A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications.
CoRR, abs/17.

Cortier, Véronique and Grimm, Niklas and Lallemand, Joseph and Maffei, Matteo
(2017) A Type System for Privacy Properties (Technical Report).
CoRR, abs/17.

Maffei, Matteo
(2016) Security & Privacy Column.
SIGLOG News.

Bugliesi, Michele and Calzavara, Stefano and Eigner, Fabienne and Maffei, Matteo
(2015) Affine Refinement Types for Secure Distributed Programming.
ACM Transactions on Programming Languages and Systems, 37 (4). 11:1-11:66.

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2014) Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations.
Journal of Computer Security, 22 (2). pp. 301-353.

Eigner, Fabienne and Kate, Aniket and Maffei, Matteo and Pampaloni, Francesca and Pryvalov, Ivan
(2014) Privacy-preserving Data Aggregation with Optimal Utility.
IACR Cryptology ePrint Archive, 2014. p. 482.

Maffei, Matteo
(2014) Security & privacy column.
SIGLOG News, 1 (1). p. 6.

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2013) Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations.
Special issue of the Journal of Computer Security (JCS) for TOSCA-SecCo.

Book Section

Eigner, Fabienne and Kate, Aniket and Maffei, Matteo and Pampaloni, Francesca and Pryvalov, Ivan
(2015) Achieving Optimal Utility for Distributed Differential Privacy Using SMPC.
In: UNSPECIFIED Cryptology and Information Security Series, 13 . IOS Press, 81 - 105.

Backes, Michael and Gerling, Sebastian and Hammer, Christian and Maffei, Matteo and Styp-Rekowsky, Philipp von
(2013) AppGuard - Enforcing User Requirements on Android Apps.
In: Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 545-550.

Monograph

Backes, Michael and Gerling, Sebastian and Hammer, Christian and Maffei, Matteo and Styp-Rekowsky, Philipp von
(2013) AppGuard - Fine-grained Policy Enforcement for Untrusted Android Applications.
Technical Report. UNSPECIFIED.
(Unpublished)

Backes, Michael and Gerling, Sebastian and Hammer, Christian and Maffei, Matteo and Styp-Rekowsky, Philipp von
(2012) AppGuard - Real-time Policy Enforcement for Third-Party Applications.
Technical Report. UNSPECIFIED.
(Unpublished)

Other

Cortier, Véronique and Eigner, Fabienne and Kremer, Steve and Maffei, Matteo and Wiedling, Cyrille
(2015) Type-Based Verification of Electronic Voting Protocols.
UNSPECIFIED
.

Eigner, Fabienne and Kate, Aniket and Maffei, Matteo and Pampaloni, Francesca and Pryvalov, Ivan
(2014) Differentially Private Data Aggregation with Optimal Utility.
UNSPECIFIED
.

Backes, Michael and Cortesi, Agostino and Maffei, Matteo
(2007) Causality-based Abstraction of Multiplicity in Security Protocol Analysis.
UNSPECIFIED
.

This list was generated on Thu Apr 25 10:33:50 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.