Subjects : automated verification
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Conference | 2025 | TLSVerifier: An Automated TLS software Verification Tool Using Model-Based Testing Lim Jae Deok International Symposium on Mobile Internet Security (MobiSec) 2025, pp.1-3 | ||
| Journal | 2023 | Verification Method for Discrete Event Simulation based on Discrete Event System Formalism 장수영 International Journal of Industrial Engineering : Theory Applications and Practice, v.30, no.5, pp.1313-1327 | 3 | 원문 |
| Journal | 2019 | O2TR: Offline OTR Messaging System under Network Disruption Mahdi Daghmehchi Firoozjaei Computers & Security, v.82, pp.227-240 | 4 | 원문 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||