Citation notice #7926 · 2026-07-31 06:17:43.659217+00:00
Formalization of security
Correction
Crossref
Open
cites 10.1007/978-3-031-37703-7_11, which carries a correction notice dated 2023-08-26. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.
Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes
01Evidence
Raw extraction · bibliography line · bibliography index 219
Tsai, M.H., Fu, Y .F., Liu, J., Shi, X., Wang, B.Y ., Yang, B.Y .: CoqCryptoLine: A verified model checker with certified results. In: C. Enea, A. Lal (eds.) CA V 2023, Part II,LNCS, vol. 13965, pp. 227–240. Springer (2023). URL https://doi.org/10.1007/978-3-031-37703-7_11
02Event
- Type
- Correction
- Source
- Crossref
- Original DOI
- 10.1007/978-3-031-37703-7_11
- Notice DOI
- 10.1007/978-3-031-37703-7_22
- Date
- 2023-08-26
- Title
- Correction to: CoqCryptoLine: A Verified Model Checker with Certified Results
- Reasons
- ['Correction']
- Work
- - (2023) Lecture notes in computer science
03Dispute this notice
If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.