Publication | Closed Access
Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection
11
Citations
57
References
2018
Year
Formal SpecificationEngineeringInformation SecurityCryptographyMechanical VerificationVerificationFormal MethodsSecurity PropertySystems EngineeringInformation ForensicsFormal TechniqueReverse EngineeringComputer ScienceIntellectual Property ProtectionSoftware AnalysisData SecurityFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1