Adrià Gascón
发表
Mariana Raykova,
Phillipp Schoppmann,
Leonie Reichert,
2019,
IACR Cryptol. ePrint Arch..
James Cheney,
Rui Abreu,
Hoda Eldardiry,
2016,
TaPP.
Guillem Godoy,
Adrià Gascón,
Marta Arias,
2011,
CSEDU.
Krishna P. Gummadi,
Michael Veale,
Matt J. Kusner,
2018,
ICML.
Jon Crowcroft,
Adrià Gascón,
2018,
IEEE Internet Computing.
Borja Balle,
Kobbi Nissim,
Adrià Gascón,
2019,
ArXiv.
Adrià Gascón,
David Aspinall,
D. Butler,
2020,
J. Autom. Reason..
Ashish Tiwari,
Adrià Gascón,
Umang Mathur,
2017,
CAV.
Richard Nock,
Zaïd Harchaoui,
David Evans,
2019,
Found. Trends Mach. Learn..
David Aspinall,
Adrià Gascón,
David Butler,
2019,
POST.
Jonathan Katz,
Mariana Raykova,
Xiao Wang,
2016,
2016 IEEE Symposium on Security and Privacy (SP).
Ashish Tiwari,
Sharad Malik,
Natarajan Shankar,
2014,
IEEE Transactions on Emerging Topics in Computing.
Guillem Godoy,
Adrià Gascón,
Manfred Schmidt-Schauß,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Guillem Godoy,
Adrià Gascón,
Carles Creus,
2016,
SIAM J. Comput..
Mariana Raykova,
Phillipp Schoppmann,
Borja Balle,
2017,
Proc. Priv. Enhancing Technol..
Varun Kanade,
Matt J. Kusner,
Adrià Gascón,
2018,
ICML.
Guillem Godoy,
Adrià Gascón,
Carles Creus,
2013,
Journal of Automated Reasoning.
Guillem Godoy,
Adrià Gascón,
Manfred Schmidt-Schauß,
2011,
TOCL.
Phillipp Schoppmann,
Borja Balle,
Adrià Gascón,
2018,
IACR Cryptol. ePrint Arch..
Sebastian Maneth,
Markus Lohrey,
Adrià Gascón,
2018,
CSR.
Guillem Godoy,
Adrià Gascón,
Manfred Schmidt-Schauß,
2010,
J. Symb. Comput..
Tancrède Lepoint,
Mariana Raykova,
Adrià Gascón,
2020,
IACR Cryptol. ePrint Arch..
James Bell,
Adrià Gascón,
Aurélien Bellet,
2020,
AISTATS.
Matt J. Kusner,
Adrià Gascón,
Nitin Agrawal,
2019,
CCS.
Ashish Tiwari,
Adrià Gascón,
Manfred Schmidt-Schauß,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Ashish Tiwari,
Sharad Malik,
Natarajan Shankar,
2013,
2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST).
Ashish Tiwari,
Adrià Gascón,
Manfred Schmidt-Schauß,
2015,
CSL.
Ashish Tiwari,
Adrià Gascón,
2014,
NASA Formal Methods.
Adrià Gascón,
David Butler,
David Aspinall,
2020,
CPP.
Ashish Tiwari,
Sharad Malik,
Pramod Subramanyan,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Guillem Godoy,
Adrià Gascón,
Carles Creus,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
David Butler,
Adrià Gascón,
David Aspinall,
2017,
ITP.
Ashish Tiwari,
Adrià Gascón,
2014,
SYNT.
Mariana Raykova,
Phillipp Schoppmann,
Borja Balle,
2016,
IACR Cryptol. ePrint Arch..
Sebastian Maneth,
Markus Lohrey,
Adrià Gascón,
2018,
Theory of Computing Systems.
Carmela Troncoso,
Mariana Raykova,
Phillipp Schoppmann,
2019,
CCS.
Secure and Scalable Document Similarity on Distributed Databases: Differential Privacy to the Rescue
Phillipp Schoppmann,
Borja Balle,
Adrià Gascón,
2020,
Proc. Priv. Enhancing Technol..
Guillem Godoy,
Adrià Gascón,
Carles Creus,
2012,
RTA.
Borja Balle,
Kobbi Nissim,
Adrià Gascón,
2019,
CRYPTO.
Benny Pinkas,
Mariana Raykova,
Phillipp Schoppmann,
2019,
IACR Cryptol. ePrint Arch..
Ashish Tiwari,
Bruno Dutertre,
Adrià Gascón,
2015,
CADE.
Guillem Godoy,
Florent Jacquemard,
Adrià Gascón,
2009,
Electron. Notes Theor. Comput. Sci..
Brooks Paige,
Adrià Gascón,
Aurélien Bellet,
2020,
RECOMB.
David Aspinall,
Adrià Gascón,
David Butler,
2019,
IACR Cryptol. ePrint Arch..
Guillem Godoy,
Adrià Gascón,
Manfred Schmidt-Schauß,
2009,
RTA.
Sebastian Maneth,
Adrià Gascón,
Lander Ramos,
2011,
RTA.
Peter Buneman,
David Murray-Rust,
Adrià Gascón,
2016,
TaPP.
Richard Nock,
Zaïd Harchaoui,
Mehdi Bennis,
2021,
Found. Trends Mach. Learn..