#ietf115 — Public Fediverse posts

Interested in participating in IETF or IRTF as a PhD student?

Sergio Aguilar Romero and Martine Sophie Lenders, PhD students in network engineering and computer science, attended and participated in the recent #IETF115 meeting in London with assistance from travel grants awarded by the Internet Research Task Force – read more about their experience on the IETF blog at https://www.ietf.org/blog/irtf-travel-grants/

#ietf

Returning to pre-pandemic participation at the #IETF115 hackathon: #IETFHackathon co-chair @eckelcu writes about the 39 projects with 450 registered participants covering a broad range of tech including #DNS #IOT #SRv6 & #postquantum https://www.ietf.org/blog/ietf115-hackathon/

Making new connections: Read about a first-time participant's experience at the #IETF115 meeting, including presenting new work on #IPv6, meeting both long-time and new IETF participants (including outside working sessions), and plans for #IETF116: https://www.ietf.org/blog/ietf115-new-connections/

First time at #IETF, our NTP lead developer David worked on Miroslav Lichvar's NTP v5 draft with the time protocol group.

David presented the hackathon results: two interoperable (experimental) NTP v5 implementations. Not bad for two days of work!

NTP group hackathon slides:

https://ietf-hackathon.github.io/ietf115-project-presentations/ietf-115-hackathon-ntp.html

Our open-source NTP implementation, ntpd-rs:

https://github.com/memorysafety/ntpd-rs

#IETF115 #rustlang #rust

At #ietf115 I measured all the rooms I was in and places I visited with a CO2 sensor. High CO2 levels are believed to be a proxy for airborne virus risk exposure. Here's my full write up with many graphs: https://www.isi.edu/~hardaker/news/20221106-ietf-c02-analysis/

My short #IETF115 talk on Kirin - #BGP vs. #IPv6 - now on https://www.youtube.com/watch?v=SE3CE5vKcUY&t=474s

Paper pre-print at https://arxiv.org/abs/2210.10676

Another little research project we're still tinkering with after the #IETF115 Hackathon is Encrypted Client Hello (#ECH) for our connectbyname library. We'll be taking these experiences forward in our comprehensive #DNS tooling for #rustlang. https://github.com/NLnetLabs/connectbyname/commits/ietf115-ech

A quiet Sunday brunch after a busy week at #IETF115 – reconnecting with people, starting new projects, and joining new conversations around policy.

debian developer offered to package CLATd for #debian at the #v6ops meeting at #IETF115

That alone was worth getting up at 0300 to attend the meeting for.

End of #IETF115, now beer and tourism.

#IETF #London

Sofia Celi talks about a difficult cybersecurity problem: IPV (Intimate Partner Violence) when the attacker has control over all the devices. (Internet Draft in progress, not yet submitted)

#IETF115

Most colorful slides at #IETF115

"Anthropology is no longer only about people in remote islands."

#IETF115

Corinne Cath (ANRP prize laureate) summarizes her work in anthropology of the #IETF.

Executve summary: "we do politics"

#IETF115

At #ietf115 to talk #IPv6 only. Had to update the presentation at the last minute to cover this and the @Raspberry_Pi instances.

Good morning, London! Fifth (and last) day of #IETF115

This morning, HRPC (Human Rights and Protocol Considerations)

IETF Journal: Human Rights Protocol Considerations: Bridging the Implementation Gap

The design and standardization of internet protocols must adapt to integrate fundamental rights. To achieve this, we need to help civil society and independent technical community to get involved at the Internet Engineering Task Force.

#IETF115 #RFC7725
https://www.ietfjournal.org/human-rights-protocol-considerations-bridging-the-implementation-gap/

Now, a leap to the future, a proposal to use #RDAP in outer space, for information about space objects https://sanaregistry.org/

#IETF115

Long discussion of cardinality of email addresses in EPP: zero or more, at least one, just one? Werner Staub regrets (and I agree) that EPP limits the number of email addresses (specially when one is in the domain itself, it cannot be used if the domain fails). So, the problem is no specific to internationalized email addresses.

#IETF115

Provision of international email addresses in #EPP proves difficult…

#IETF115

regext working group (#EPP and #RDAP, a group for domain name registries) at #IETF115

For instance, redacted fields in RDAP, replacing vCard with JScontact in RDAP, etc.

Good to see our #OpenSource friends from @tweedegolf on Fosstodon! Did you know they implemented the Network Time Protocol (NTP) in #rustlang? #IETF #IETF115 #OpenStandards https://tweedegolf.nl/nl/blog/75/implementing-the-network-time-protocol-ntp-in-rust

Excellent side meeting at #IETF115 to discuss a potential usable formal methods research group in the #IRTF. Lots of interest and some great discussion. We have a draft charter, linked, outlining the scope of the proposed group – please do get in touch if you’re interested in this topic https://docs.google.com/document/d/1X1aFFXg-LTNcT4cpo3FZ6w1PwHG33Q0RAUUf-R7Kmus/edit

Discussion of the creation of a Research Group on these formal methods. Why are they not used in the #IETF?

"If you need a PhD in type theory to use the tool, it is a problem for most IETF participants."

The proposed charter clearly mentions that formal tools must not get into the way of open discussion.

#IETF115

"Specifications are the unicorns of the formal verification world."

🦄

#IETF115

Side meeting on the use of formal stuff to write Internet standards. (Currently, they are mostly in natural language with some ABNF, CDDL, etc.)

#IETF115

C'était le thème d'une réunion pendant l'#IETF115 à Londres. Pour censurer sur l'Internet, le censeur doit regarder ce à quoi l'utilisateur voulait accéder, ce qui pose des problèmes de #viePrivée évidents. Peut-on censurer sans violer la vie privée ?

https://www.bortzmeyer.org/filtrage-vie-privee.html

Analyzing Carbon Dioxide levels while attending #IETF115 in London https://www.isi.edu/~hardaker/news/20221106-ietf-c02-analysis/

#Covid19 #CO2