ElNiak

[connection] update path challenge according to the draft [JF & CC]

5

> " Path validation succeeds when a PATH_RESPONSE frame is received that > contains the data that was sent in a previous PATH_CHALLENGE frame. > A PATH_RESPONSE frame received on...

0RTT client

1

Hello everyone, Sorry to open an issue for that but let me explain the situation. I'm currently performing formal specification testing on 0RTT of different QUIC implementations using Ivy (https://github.com/ElNiak/QUIC-FormalVerification)...

Add AI in Cybersecurity

1

**https://github.com/ElNiak/awesome-ai-cybersecurity** **Aims to provide an organized collection of high-quality resources on AI applied to Cybersecurity (using AI and protecting AI) to help professionals. Should be here since AI and cybersecurity...

Add Formal Methods

3

**https://github.com/ElNiak/awesome-formal-verification** **Resources for formal verification/model checking techniques and tools for software and hardware validation/testing.** ### By submitting this pull request I confirm I've read and complied with the below requirements...