Personal information

Emails & domains

Verified email addresses

Websites & social links

Personal Website
Academic Website

Countries

United States, United Kingdom

Activities

Collapse all

Employment (1)

Microsoft Corp: Redmond, WA, US

2019-08-19 to present | Senior Software Security Engineering Lead (Commerce + Ecosystems Security)
Employment
Source: Self-asserted source
Nicholas Boucher

Education and qualifications (2)

University of Cambridge: Cambridge, Cambridgeshire, GB

2020-10 to present | PhD (Computer Science)
Education
Source: Self-asserted source
Nicholas Boucher

Harvard University: Cambridge, MA, US

2015-09-02 to 2019-05-30 | A.B. (Computer Science)
Education
Source: Self-asserted source
Nicholas Boucher

Works (10)

Threat models over space and time: A case study of end‐to‐end‐encrypted messaging applications

Software: Practice and Experience
2024-12 | Journal article
DOI: 10.1002/spe.3341
Contributors: Partha Das Chowdhury; Maria Sameen; Jenny Blessing; Nicholas Boucher; Joseph Gardiner; Tom Burrows; Ross Anderson; Awais Rashid
Source: check_circle
Crossref

Boosting Big Brother: Attacking Search Engines with Encodings

2023 | Preprint
DOI: 10.48550/ARXIV.2304.14031
Contributors: Nicholas Boucher; Luca Pajola; Ilia Shumailov; Ross Anderson; Mauro Conti
Source: Self-asserted source
Nicholas Boucher

If It’s Provably Secure, It Probably Isn’t: Why Learning from Proof Failure Is Hard

2023 | Book chapter
DOI: 10.1007/978-3-031-43033-6_19
Contributors: Ross Anderson; Nicholas Boucher
Source: check_circle
Crossref

If It’s Provably Secure, It Probably Isn’t: Why Learning from Proof Failure is Hard (Transcript of Discussion)

2023 | Book chapter
DOI: 10.1007/978-3-031-43033-6_20
Contributors: Ross Anderson; Nicholas Boucher
Source: check_circle
Crossref

Threat Models over Space and Time: A Case Study of E2EE Messaging Applications

2023 | Preprint
DOI: 10.48550/ARXIV.2301.05653
Contributors: Partha Das Chowdhury; Maria Sameen; Jenny Blessing; Nicholas Boucher; Joseph Gardiner; Tom Burrows; Ross Anderson; Awais Rashid
Source: Self-asserted source
Nicholas Boucher

Boosting Big Brother: Attacking Search Engines with Encodings

2023-10-16 | Conference paper
DOI: 10.1145/3607199.3607220
Contributors: Nicholas Boucher; Luca Pajola; Ilia Shumailov; Ross Anderson; Mauro Conti
Source: check_circle
Crossref

Trojan Source: Invisible Vulnerabilities

2023 USENIX Security
2023-08-09 | Conference paper
DOI: 10.48550/ARXIV.2111.00169
Contributors: Nicholas Boucher
Source: Self-asserted source
Nicholas Boucher

If it's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard

28th International Workshop on Security Protocols
2023-03-27 | Conference paper
DOI: 10.48550/ARXIV.2305.04755
Contributors: Ross Anderson; Nicholas Boucher
Source: Self-asserted source
Nicholas Boucher

Talking Trojan: Analyzing an Industry-Wide Disclosure

Proceedings of the 2022 ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses
2022-11-11 | Conference paper
DOI: 10.1145/3560835.3564555
Contributors: Nicholas Boucher; Ross Anderson
Source: Self-asserted source
Nicholas Boucher

Bad Characters: Imperceptible NLP Attacks

2022 IEEE Symposium on Security and Privacy (SP)
2022-05 | Conference paper
DOI: 10.1109/sp46214.2022.9833641
Contributors: Nicholas Boucher; Ilia Shumailov; Ross Anderson; Nicolas Papernot
Source: Self-asserted source
Nicholas Boucher
How many people are using ORCID?