Publication | Closed Access
APISan: Sanitizing {API} Usages through Semantic Cross-Checking
56
Citations
40
References
2016
Year
EngineeringRuntime VerificationVerificationFormal MethodsSoftware AnalysisComputer ScienceSemantic WebLanguage-based SecurityOpen ApiFormal VerificationSemantic Cross-checkingData Security
| Year | Citations | |
|---|---|---|
Page 1
Page 1