Skip to content

Issues: Componolit/systematization-related-work

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

23 Open 0 Closed
23 Open 0 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

SPFuzz
#23 opened Jul 26, 2021 by rssen
Netsem protocol session
#22 opened Apr 7, 2021 by treiher
SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr protocol fuzzing
#21 opened Aug 25, 2020 by treiher
Automatic Generation of Network Protocol Gateways binary format protocol session
#20 opened Mar 4, 2020 by treiher
Improving the Performance of Message Parsers for Embedded Systems binary format
#19 opened Mar 4, 2020 by treiher
Design Patterns for Secure Input Handling binary format
#18 opened Mar 4, 2020 by treiher
A Language-theoretic View on Network Protocols binary format
#17 opened Mar 4, 2020 by treiher
Applying Formal Methods to Networking: Theory, Techniques, and Applications protocol session
#16 opened Mar 4, 2020 by treiher
Security Applications of Formal Language Theory
#15 opened Mar 4, 2020 by treiher
Formal Specification and Analysis of the PCF Protocol in the 802.11 Standard Using Systems of Communicating Machines protocol session
#14 opened Mar 4, 2020 by treiher
Multiparty Asynchonous Session Types protocol session
#13 opened Mar 4, 2020 by treiher
Formal methods for specification and analysis of communication protocols protocol session
#12 opened Mar 4, 2020 by treiher
Specification and analysis of a data transfer protocol using systems of communicating machines protocol session
#11 opened Mar 4, 2020 by treiher
An informal overview of formal protocol specification protocol session
#10 opened Mar 4, 2020 by treiher
Protecting Against Malicious Bits On the Wire: Automatically Generating a USB Protocol Parser for a Production Kernel binary format
#9 opened Mar 4, 2020 by treiher
Taming the Length Field in Binary Data: Calc-Regular Languages binary format
#8 opened Mar 4, 2020 by treiher
Learning Regular Sets from and Counterexamples protocol fuzzing
#7 opened Mar 4, 2020 by treiher
Formalising Extended Finite State Machine Transition Merging protocol fuzzing
#6 opened Mar 4, 2020 by treiher
Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols protocol fuzzing
#5 opened Mar 4, 2020 by treiher
Compositional Testing of Network Protocols protocol fuzzing
#4 opened Mar 4, 2020 by treiher
A Formal TLS Handshake Model in LNT protocol session
#3 opened Mar 4, 2020 by treiher
Formal specification and testing of QUIC protocol session
#2 opened Mar 4, 2020 by treiher
Protocol state machines and session languages: specification, implementation, and security flaws protocol session
#1 opened Mar 4, 2020 by treiher
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.