Amaury Chamayou

Principal RSDE Manager

출판물

자료 보기:

- Smart Casual Verification of the Confidential Consortium Framework
  
  Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks
  
  2025 Networked Systems Design and Implementation | April 2025
  
  Publication Preprint PDF Author's Version 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- AMP: Authentication of Media via Provenance
  
  Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication 프로젝트
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  프로젝트
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트

- Smart Casual Verification of the Confidential Consortium Framework
  
  Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks
  
  2025 Networked Systems Design and Implementation | April 2025
  
  Publication Preprint PDF Author's Version 프로젝트
- Smart Casual Verification of the Confidential Consortium Framework
  
  Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks
  
  2025 Networked Systems Design and Implementation | April 2025
  
  Publication Preprint PDF Author's Version 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- AMP: Authentication of Media via Provenance
  
  Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication 프로젝트
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  프로젝트
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트

- Smart Casual Verification of the Confidential Consortium Framework
  
  Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks
  
  2025 Networked Systems Design and Implementation | April 2025
  
  Publication Preprint PDF Author's Version 프로젝트
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- AMP: Authentication of Media via Provenance
  
  Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication 프로젝트
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트

Amaury Chamayou

출판물

Smart Casual Verification of the Confidential Consortium Framework

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

IA-CCF: Individual Accountability for Permissioned Ledgers

AMP: Authentication of Media via Provenance

Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing

CCF: A Framework for Building Confidential Verifiable Replicated Services

Smart Casual Verification of the Confidential Consortium Framework

Smart Casual Verification of the Confidential Consortium Framework

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

AMP: Authentication of Media via Provenance

CCF: A Framework for Building Confidential Verifiable Replicated Services

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

IA-CCF: Individual Accountability for Permissioned Ledgers

Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing

CCF: A Framework for Building Confidential Verifiable Replicated Services

Smart Casual Verification of the Confidential Consortium Framework

IA-CCF: Individual Accountability for Permissioned Ledgers

AMP: Authentication of Media via Provenance

Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

CCF: A Framework for Building Confidential Verifiable Replicated Services

연락처 Amaury Chamayou

Microsoft Research Lab – Cambridge