Results 131 to 140 of about 3,335 (212)
Static Behavioral Malware Detection over LLVM IR
, 2016 Tato práce se zabývá metodami pro behaviorální detekci malware, které využívají techniky formální analýzy a verifikace. Základem je odvozování stromových automatů z grafů závislostí systémových volání, které jsou získány pomocí statické analýzy LLVM IR ...
Surovič, Marek
core
Integrating model development across computational neuroscience, cognitive science, and machine learning. [PDF]
Neuron, 2023 Gleeson P +6 more
europepmc +1 more source
TA-BI: Reference Implementation in OMNeT++/INET for Reactive Routing Support in Wireless and Mobile Wireless Sensor Networks. [PDF]
Sensors (Basel)Jabłoński W, Krenc K, Kawalec A.
europepmc +1 more source
Taming undefined behavior in LLVM
, 2017 A central concern for an optimizing compiler is the design of its intermediate representation (IR) for code. The IR should make it easy to perform transformations, and should also afford efficient and precise static analysis.
Lopes, N.P. +7 more
core
Practical and Efficient in-Enclave Verification of Privacy Compliance. [PDF]
Proc (Int Conf Dependable Syst Netw), 2021 Liu W +9 more
europepmc +1 more source
Research on use-after-free detection method based on the dangling pointer tracking
四川大学学报. 自然科学版With the increasing attention paid to the UAF vulnerability， its exploitation methods have become more diverse and the threat posed to computer systems has become more serious.Therefore， this paper proposes a lightweight UAF vulnerability detection ...
XU Min, HU Yong, LI Xin-Jian
doaj
Bratter: An Instruction Set Extension for Forward Control-Flow Integrity in RISC-V. [PDF]
Sensors (Basel), 2022 Park S, Kang D, Kang J, Kwon D.
europepmc +1 more source
RLTG: Multi-targets directed greybox fuzzing. [PDF]
PLoS One, 2023 He Y, Zhu Y.
europepmc +1 more source