There’s a side meeting on usable formal methods for protocol
specification taking place during IETF next week that may be of interest
to some in this group – please consider attending.
Colin
Forwarded message:
From: Colin Perkins
To: irtf-disc...@irtf.org
Cc: 115attend...@ietf.org
Thanks - that addresses my comments.
Colin
On 16 Jun 2025, at 14:25, Thomas Fossati wrote:
> On Mon, Jun 16, 2025 at 02:02:06PM +0100, Colin Perkins wrote:
>> Hi,
>>
>> On 13 Jun 2025, at 14:34, Thomas Fossati wrote:
>>> The current algorithm is not designed to ha
Hi,
On 13 Jun 2025, at 14:34, Thomas Fossati wrote:
> Hi Colin, thanks very much for your thorough review.
>
> On Thu, Jun 12, 2025 at 05:34:57AM +0100, Colin Perkins via Datatracker wrote:
>> [...]
>>
>> Section 6 describes the basic and enhanced path validation pro
Document: draft-ietf-tls-dtls-rrc
Title: Return Routability Check for DTLS 1.2 and DTLS 1.3
Reviewer: Colin Perkins
Review result: Ready with Nits
This document has been reviewed as part of the transport area review team's
ongoing effort to review key IETF documents. These comments were wr
