University of Cambridge > Talks.cam > REMS lunch > Kneecap: model-based generation and analysis of network traffic

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Kneecap: model-based generation and analysis of network traffic

Download to your calendar using vCal

If you have a question about this talk, please contact Peter Sewell .

I’ll describe a new design for network traffic tools, one that affords users more expressiveness to describe the packets to generate or analyse. This design involves translating users’ expressions into constraint-satisfaction problems, that are dispatched to general reasoning tools for solution.

This talk is part of the REMS lunch series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Hicks & Mead Rooms, University Centre, Granta Place Seminar Room, McDonald Institute for Archaeological Research, Downing Site MR2, Centre for Mathematical Sciences

Other talks

Title TBC Group Presentation 4 Gastroenterology and Acute Medicine Title to be confirmed The uplift and erosion history of the Gamburtsev Subglacial Mountains and their role in the formation of the East Antarctic Ice Sheet Title to be confirmed
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity