UNKNOWN
Tags
| attack-pattern: | Domains - T1583.001 Domains - T1584.001 Software - T1592.002 |
Common Information
| Type | Value |
|---|---|
| UUID | 3a6573c1-0b87-4540-bccd-2cf4178c631c |
| Fingerprint | b144296056868076 |
| Analysis status | IN_PROGRESS |
| Considered CTI value | 0 |
| Text language | |
| Published | None |
| Added to db | Dec. 19, 2024, 2:15 p.m. |
| Last updated | Dec. 23, 2024, 9:06 p.m. |
| Headline | UNKNOWN |
| Title | UNKNOWN |
| Detected Hints/Tags/Attributes | 6/1/29 |
Source URLs
| Redirection | Url | |
|---|---|---|
| Details | Source | https://www.secrss.com/articles/12531 |
URL Provider
Attributes
| Details | Type | #Events | CTI | Value |
|---|---|---|---|---|
| Details | Domain | 4706 | github.com |
|
| Details | Domain | 3 | www.cs.utexas.edu |
|
| Details | Domain | 1 | www.di.ens.fr |
|
| Details | Domain | 1 | www.dsi.unive.it |
|
| Details | Domain | 1 | frama-c.com |
|
| Details | Domain | 675 | en.wikipedia.org |
|
| Details | Domain | 1 | trust-in-soft.com |
|
| Details | Domain | 1 | seahorn.github.io |
|
| Details | Domain | 6752 | 163.com |
|
| Details | File | 300 | www.cs |
|
| Details | File | 1 | ai-6up.pdf |
|
| Details | File | 1 | cousotcousot-marktoberdorf-2009.pdf |
|
| Details | File | 1 | domains.pdf |
|
| Details | File | 1 | acsl-tutorial.pdf |
|
| Details | Github username | 1 | mesalock-linux |
|
| Details | Github username | 1 | tpm2-software |
|
| Details | Github username | 1 | smackers |
|
| Details | Url | 1 | https://github.com/mesalock-linux/tpm2-tss-verified |
|
| Details | Url | 1 | https://github.com/mesalock-linux/mesapy/tree/mesapy2.7/verification |
|
| Details | Url | 1 | https://github.com/tpm2-software/tpm2-tss）项目为例，我们验证了该项目2.1.0版本的代码 |
|
| Details | Url | 1 | https://github.com/mesalock-linux/mesapy |
|
| Details | Url | 1 | http://www.cs.utexas.edu/~isil/cs389l/ai-6up.pdf |
|
| Details | Url | 1 | https://www.di.ens.fr/~cousot/publications.www/cousotcousot-marktoberdorf-2009.pdf |
|
| Details | Url | 1 | http://www.dsi.unive.it/~avp/domains.pdf |
|
| Details | Url | 1 | https://frama-c.com/download/acsl-tutorial.pdf |
|
| Details | Url | 1 | https://en.wikipedia.org/wiki/predicate_transformer_semantics |
|
| Details | Url | 1 | https://trust-in-soft.com |
|
| Details | Url | 1 | https://github.com/smackers/smack |
|
| Details | Url | 1 | http://seahorn.github.io |