IETF 120 Hackdemo Happy Hour

Project Name	Contact Name	Contact Email	Reference Link
Formal analysis of Attested TLS	Muhammad Usama Sardar	muhammad_usama.sardar@tu-dresden.de	3 main ways to combine attestation in TLS: 1. Pre-handshake attestation (Tutorial slides) 2. Intra-handshake attestation (Internet draft) 3. Post-handshake attestation (Sec. 4 in this draft) Background on Attestation: Formal Specs Formal analysis artifacts repo
Practical SCITT	Jon Geater & Steve Lasker	jon.geater@datatrails.ai steve.lasker@datatrails.ai	https://docs.datatrails.ai/developers/developer-patterns/scitt-api/
I2INF	Jaehoon Paul Jeong & Yoseop Ahn	pauljeong@skku.edu ahnjs124@skku.edu	https://datatracker.ietf.org/doc/slides-120-hackathon-sessd-interface-to-in-network-functions-i2inf/
Low-Power Wireless IPv6 Networking with Thread	Stuart Cheshire	cheshire@apple.com	Thread Information
Implementation Approaches for Merkle Tree Ladder Mode	Andrew Fregly	afregly@verisign.com	https://datatracker.ietf.org/doc/draft-fregly-dnsop-slh-dsa-mtl-dnssec/
vCon	Dan Petrie	dan.ietf@sipez.com	WG: vCon I-D: vCon container Repos: python vcon library and CLI Python vCon server
PQC Interoperability in X.509	John Gray & many others	john.gray@entrust.com	https://github.com/IETF-Hackathon/pqc-certificates
Validate Configured Subscription YANG-Push Publisher Implementations	Thomas Graf and friends	thomas.graf@swisscom.com	https://github.com/network-analytics/ietf-network-analytics-document-status/tree/main/120/Hackathon
Antagonist (ANomaly TAGging ON hISTorical data)	Vincenzo Riccobene and friends	vincenzo.riccobene@huawei-partners.com	https://github.com/vriccobene/antagonist

¶ Hackdemo Happy Hour