Paper Citation Record · LEDGER

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections

As of 14 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 1 inbound Pith citation observation for arXiv:1908.01549.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.01549 v2

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T15:13:59.460332Z

measured 51 of 51 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:12:34.900251Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-14T05:12:35.491942Z

Reference resolution

50 of 50 outbound references displayed

verified exact0
verified fuzzy46
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 82275595-76c9-41f4-a845-5578bf0a527c · outbound

This paper cites http://tigress.cs.arizona.edu/challenges.html.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections http://tigress.cs.arizona.edu/challenges.html

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.488277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 41a8ea60-bad9-410c-8512-808482b240f6 · outbound

This paper cites Anand, E.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Anand, E

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.469421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 92bb9c4d-9225-45c8-aa3c-ee75e2fdfec2 · outbound

This paper cites Enhancing symbolic ex- ecution with veritesting.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Enhancing symbolic ex- ecution with veritesting

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.449239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f19c26e1-2c37-46bd-a180-ec661ef83052 · outbound

This paper cites an unresolved cited work.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:14:00.431093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 1c5c32ca-c121-4ad6-b086-21e3f7f0031f · outbound

This paper cites Collberg, Vi- jay Ganesh, Zack Newsham, and Alexander Pretschner.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Collberg, Vi- jay Ganesh, Zack Newsham, and Alexander Pretschner

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.414417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4feb7255-14dd-4316-ae30-8f13dacb0968 · outbound

This paper cites Collberg, and Alexander Pretschner.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Collberg, and Alexander Pretschner

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.386179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ebaf159d-6b1e-4ade-a77e-33025c3eba29 · outbound

This paper cites Vadhan, and Ke Yang.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Vadhan, and Ke Yang

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.358077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c9202067-ebe5-48d7-b13a-f01c19f44065 · outbound

This paper cites Backward-bounded DSE: targeting in- feasibility questions on obfuscated codes.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Backward-bounded DSE: targeting in- feasibility questions on obfuscated codes

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.334860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 41b121e3-3e21-4f24-9bc7-89b538f852a0 · outbound

This paper cites Satisﬁability Modulo Theories.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Satisﬁability Modulo Theories

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.314243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 074c33cc-036f-461e-b953-e61a82325a8d · outbound

This paper cites Bounded Model Checking.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Bounded Model Checking

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.297768Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f4e594b9-a962-451c-8784-ddf917c5215c · outbound

This paper cites Eﬀectiveness of synthesis in concolic deobfuscation.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Eﬀectiveness of synthesis in concolic deobfuscation

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.283487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4ceff119-ac0f-474a-b501-7a41a9823143 · outbound

This paper cites Fernandez, Jean- Yves Marion, Benjamin Rouxel, Fabrice Sabatier, and Aur´ elien Thierry.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Fernandez, Jean- Yves Marion, Benjamin Rouxel, Fabrice Sabatier, and Aur´ elien Thierry

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.269559Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 94a5445f-6d40-4576-9eef-21e3e2d780d5 · outbound

This paper cites Boolector: An eﬃcient SMT solver for bit-vectors and ar- rays.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Boolector: An eﬃcient SMT solver for bit-vectors and ar- rays

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.253902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation bc8ec8c2-538e-4243-9496-5d03bc3d101e · outbound

This paper cites Code obfuscation against abstract model checking attacks.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Code obfuscation against abstract model checking attacks

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.236818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation cdaeb3f4-aa6c-4a1b-86d6-e279e20e55ad · outbound

This paper cites Targeted program transforma- tions for symbolic execution.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Targeted program transforma- tions for symbolic execution

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.218462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation eab2a2a1-ec4e-4594-a50e-20ac65c09dd0 · outbound

This paper cites an unresolved cited work.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:14:00.198688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 677ca140-653e-46ca-818e-cc38757edb26 · outbound

This paper cites Symbolic exe- cution for software testing: three decades later.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Symbolic exe- cution for software testing: three decades later

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.179070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 708b21a1-18d3-4e66-a94b-f605ab4e41c7 · outbound

This paper cites Unleashing mayhem on binary code.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Unleashing mayhem on binary code

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.153742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 8872e355-41b6-42af-935d-89df4b05f9ff · outbound

This paper cites Surrepti- tious Software: Obfuscation, Watermarking, and Tamperprooﬁng for Software Protection.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Surrepti- tious Software: Obfuscation, Watermarking, and Tamperprooﬁng for Software Protection

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.135292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 35802e43-ecac-48ae-9cf4-2c0ce4c7df4d · outbound

This paper cites A taxonomy of obfuscating transfor- mations, 1997.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections A taxonomy of obfuscating transfor- mations, 1997

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.118936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f1ac6300-5ab6-4c77-a588-18894e8e6c67 · outbound

This paper cites Collberg, Sam Martin, Jonathan Myers, and Jasvir Nagra.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Collberg, Sam Martin, Jonathan Myers, and Jasvir Nagra

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.094022Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4dd97da2-41c3-49c5-baba-4057af50a195 · outbound

This paper cites an unresolved cited work.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:14:00.069507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 3c33bcf8-d851-4c11-86a6-80fc2b5e9da4 · outbound

This paper cites Speciﬁca- tion of concretization and symbolization policies in symbolic execution.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Speciﬁca- tion of concretization and symbolization policies in symbolic execution

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.046518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation c9d3ac34-7f15-4ca8-a774-f8a76f7b6299 · outbound

This paper cites BINSEC/SE: A dynamic symbolic execution toolkit for binary- level analysis.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections BINSEC/SE: A dynamic symbolic execution toolkit for binary- level analysis

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.024130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 9574992a-5d35-4a07-92ef-27bcba89b676 · outbound

This paper cites Z3: an eﬃcient SMT solver.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Z3: an eﬃcient SMT solver

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:14:00.005391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d37d07b7-aae3-448a-820d-6c42ec9e0b9b · outbound

This paper cites Debray and Jay Patel.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Debray and Jay Patel

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.987562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a212f6ef-b46f-49f1-85d4-846533824f12 · outbound

This paper cites Defeating mba-based obfuscation.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Defeating mba-based obfuscation

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.972385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation eed94d91-b067-4c31-a8ae-69358821c018 · outbound

This paper cites Levin, and David A.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Levin, and David A

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.956115Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2cdd6eaa-6f3a-4f3f-8b22-c04d20527f7f · outbound

This paper cites Henzinger, Ranjit Jhala, Rupak Ma- jumdar, and Gr´ egoire Sutre.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Henzinger, Ranjit Jhala, Rupak Ma- jumdar, and Gr´ egoire Sutre

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.939205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation fd1732ee-c50e-4d2b-b7c7-ba185dc83c0e · outbound

This paper cites Renovo: a hidden code extractor for packed executables.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Renovo: a hidden code extractor for packed executables

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.919568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 79a3c618-2a7a-41e8-86d7-a2f84f88bf77 · outbound

This paper cites Towards static analysis of virtualization-obfuscated binaries.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Towards static analysis of virtualization-obfuscated binaries

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.901086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4cb13518-85ff-4d6e-8aa1-2f411e1183c4 · outbound

This paper cites Implicit ﬂows: Can’t live with ’em, can’t live without ’em.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Implicit ﬂows: Can’t live with ’em, can’t live without ’em

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.883330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ab82f6f7-4468-4b2c-b14d-6a3a9bf562c4 · outbound

This paper cites Static information ﬂow analysis with handling of implicit ﬂows and a study on eﬀects of implicit ﬂows vs explicit ﬂows.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Static information ﬂow analysis with handling of implicit ﬂows and a study on eﬀects of implicit ﬂows vs explicit ﬂows

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.865462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a08165c9-5d1c-4ba9-883a-9d791642060b · outbound

This paper cites Gebo- tys, Krzysztof Czarnecki, and Vijay Ganesh.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Gebo- tys, Krzysztof Czarnecki, and Vijay Ganesh

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.845558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2e361bf2-0e2a-4d0b-8981-8586ee486ca6 · outbound

This paper cites Symbolic deobfuscation: from vir- tualized code back to the original.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Symbolic deobfuscation: from vir- tualized code back to the original

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.824494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation fb5370cd-6590-4d63-87a6-9207ec4f76aa · outbound

This paper cites Triton : Framework d’excution concolique.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Triton : Framework d’excution concolique

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.798420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f3c591db-2a84-4fc6-b595-286c9530c01f · outbound

This paper cites Protecting software through obfuscation: Can it keep pace with progress in code analysis? ACM Comput.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Protecting software through obfuscation: Can it keep pace with progress in code analysis? ACM Comput

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.774694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation b012e820-6107-4daa-bc79-d4aea34bbeb9 · outbound

This paper cites Schwartz, Thanassis Avgerinos, and David Brumley.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Schwartz, Thanassis Avgerinos, and David Brumley

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.756489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 01b029b0-c302-4fa8-a300-5634f2935590 · outbound

This paper cites The geometry of innocent ﬂesh on the bone: return-into-libc without function calls (on the x86).

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections The geometry of innocent ﬂesh on the bone: return-into-libc without function calls (on the x86)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.737132Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 18f786bf-dc3b-46ca-9f07-6d7c6bd82ab1 · outbound

This paper cites Sharif, Andrea Lanzi, Jonathon T.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Sharif, Andrea Lanzi, Jonathon T

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.713656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 834425b6-09a8-4475-a270-ffb188eb0e16 · outbound

This paper cites SOK: (state of) the art of war: Oﬀensive tech- niques in binary analysis.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections SOK: (state of) the art of war: Oﬀensive tech- niques in binary analysis

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.692241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 809ff56e-d04c-4dc8-92c1-5bb1c3347f97 · outbound

This paper cites an unresolved cited work.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:13:59.674104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d089b471-00e6-472f-aea4-b746e6466b49 · outbound

This paper cites Coll- berg, Saumya Debray, and Carlos Scheidegger.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Coll- berg, Saumya Debray, and Carlos Scheidegger

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.657160Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation fd7a9816-142f-4b8c-8237-5b4fe20a705b · outbound

This paper cites SMT solvers in software security.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections SMT solvers in software security

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.640294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 0b86d549-a773-4244-8b63-eb7bc6851a08 · outbound

This paper cites Software tamper resistance: Ob- structing static analysis of programs.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Software tamper resistance: Ob- structing static analysis of programs

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.619573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 067b4a72-6591-40ab-b955-086962b660f2 · outbound

This paper cites Knight, and Jack W.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Knight, and Jack W

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.591836Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 54cc346f-7ac0-4863-b63c-c737954f0221 · outbound

This paper cites Linear obfuscation to combat symbolic execution.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Linear obfuscation to combat symbolic execution

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.571449Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 3f38e571-f23a-44e0-a86f-f0277cdb5d23 · outbound

This paper cites Symbolic execution of obfuscated code.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Symbolic execution of obfuscated code

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.551503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6dcb96b9-e41f-4c04-be27-d6968488254d · outbound

This paper cites A generic approach to automatic deobfuscation of executable code.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections A generic approach to automatic deobfuscation of executable code

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.534535Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 29538727-8a06-4cd3-b99d-39676229377c · outbound

This paper cites Information hiding in software with mixed boolean-arithmetic transforms.

How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections Information hiding in software with mixed boolean-arithmetic transforms

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:13:59.514066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

Observation 1f191a3d-9832-4863-851d-d4afb320f362 · inbound

SATURN -- Software Deobfuscation Framework Based on LLVM cites this paper.

SATURN -- Software Deobfuscation Framework Based on LLVM How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections

Reference 2019

Resolution: verified exact; local_arxiv, observed 2026-08-14T05:12:35.497355Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.