Publication | Closed Access

Position-based automatic reverse engineering of network protocols

Network ProtocolsEngineeringInternet ProtocolProgram AnalysisFormal MethodsSoftware AnalysisComputer EngineeringComputer ScienceSecure ProtocolFormal VerificationNetwork Forensics