Muhammad Usama Sardar
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Carsten Weinholdonce
- Hannes Tschofenigonce
- Ionut Mihalceaonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Agentic AI, confidential computing and attested TLS | Linux Plumbers Conference 2025 | 2025-12-11 |
Argues that combining agentic AI with confidential computing requires attestation of model weights as executable code, source code, system prompts, tool lists… | ||
| Standardization of Attested TLS Protocols | Linux Plumbers Conference 2025 | 2025-12-11 |
IETF workgroup SEAT forms to standardize attested TLS and the team brings a candidate draft, ProVerif symbolic analysis, and industry partners (Arm, Intel… | ||
| Design Space and Challenges in Design of Attested TLS Protocols | Linux Plumbers Conference 2025 | 2025-12-11 |
Formal symbolic analysis using ProVerif shows pre- and intra-handshake designs leave many security properties unmet and even the best intra-handshake variant… | ||
| Separate but Together: Integrating Remote Attestation into TLS | USENIX ATC '25 | 2025-07-07 |
Protocol integrates TLS 1.3 extensions with remote attestation by hashing handshake messages into a new linking hash that the TEE signs alongside the TLS… | ||
| Formal specification of attestation mechanisms in Confidential Computing | Confidential Computing Mini Summit at Open Source Summit Europe 2023 | 2023-09-18 |
Formal symbolic models and mechanized checks produce reusable verification primitives that cover provisioning, initialization and attestation phases for ARM… | ||
| nothing matches | ||