Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T15:03:33.147939Z
Paper Citation Record · LEDGER
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability
As of 16 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:1908.01979.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
19 of 19 outbound references displayed
- verified exact0
- verified fuzzy13
- unresolved6
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 03bf6fdd-4fd9-441c-8d7c-62a54474c1db · outbound
This paper cites Table II demonstrated that the inferred HD values are within an error margin of one, except for self-loop transitions whose 0-HD values can be precisely identified.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Table II demonstrated that the inferred HD values are within an error margin of one, except for self-loop transitions whose 0-HD values can be precisely identified
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.610272Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e4566a27-eff8-4b2f-9bee-f5130686e05e · outbound
This paper cites Therefore, for any two transitions resulting in different outputs, it can be inferred that their resulting states are distinct from one another.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Therefore, for any two transitions resulting in different outputs, it can be inferred that their resulting states are distinct from one another
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.590607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c2c8ccb4-e95c-4f93-b0ed-c9acb74a12dd · outbound
This paper cites an unresolved cited work.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:03:33.568288Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7aaf90b2-7665-481f-b977-ccf0a208f6d2 · outbound
This paper cites For example, benchmarks lion, train4 s8 have more than 50% of their total transitions as self- loops and converge faster than other machines of similar size.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability For example, benchmarks lion, train4 s8 have more than 50% of their total transitions as self- loops and converge faster than other machines of similar size
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.550009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c68ffc0c-7af6-44ae-bcad-d21f5fe89c67 · outbound
This paper cites Fewer state pairs with dissimilar outputs lead to a smaller set of state-output based constraints.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Fewer state pairs with dissimilar outputs lead to a smaller set of state-output based constraints
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.529953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0533cf04-22ae-454a-ad9e-8d6b474eacf4 · outbound
This paper cites 4: Recovery Percentage in One Round for Test Vector Size 100 and 1000 more time to converge with an increase in the number of bit vector variables and constraints.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability 4: Recovery Percentage in One Round for Test Vector Size 100 and 1000 more time to converge with an increase in the number of bit vector variables and constraints
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.507307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 062c2bf7-7b0a-4669-8e01-f001324fd3ec · outbound
This paper cites Torrance and D.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Torrance and D
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.487491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b6f83388-5571-4127-a225-514b6d34f5f5 · outbound
This paper cites an unresolved cited work.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:03:33.467482Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d5469d1e-2297-4242-9b6f-fe1ff5be2328 · outbound
This paper cites an unresolved cited work.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:03:33.447158Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 38816fce-06c7-4bac-8a38-31f4922a0c5c · outbound
This paper cites an unresolved cited work.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:03:33.424132Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f1229912-dc1f-49bd-b6bd-67a5ac99bfe2 · outbound
This paper cites an unresolved cited work.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:03:33.402418Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 95cd089f-cf83-4680-8eb4-5065e974242f · outbound
This paper cites Brutscheck, Systematic analysis of unknown integrated circuits (Doc- toral Thesis), Dublin Institute of Technology, 2009.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Brutscheck, Systematic analysis of unknown integrated circuits (Doc- toral Thesis), Dublin Institute of Technology, 2009
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.382131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 941b34a4-0c31-47cd-8f64-0984c9eeaa46 · outbound
This paper cites Brutscheck, B.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Brutscheck, B
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.361462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2d724e89-68f5-4df7-8a5e-a24c3e3761be · outbound
This paper cites Smith, A non-destructive analysis method for integrated circuit-based finite state machines (Doctoral Thesis), Washington State University, 2016.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Smith, A non-destructive analysis method for integrated circuit-based finite state machines (Doctoral Thesis), Washington State University, 2016
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.338490Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a06a547d-2e1e-4c61-866b-a25053a4507c · outbound
This paper cites Smith, ”Non-destructive state machine reverse engineering,” in 2013 6th International Symposium on Resilient Control Systems (ISRCS), San Franscisco, 2013.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Smith, ”Non-destructive state machine reverse engineering,” in 2013 6th International Symposium on Resilient Control Systems (ISRCS), San Franscisco, 2013
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.304126Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 335b1a34-d56c-49e3-8dc3-a04c052c6a38 · outbound
This paper cites Kocher, J.
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.281034Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f6a7b4e9-4d84-47cc-ae9b-aee7c96a7e99 · outbound
This paper cites Mangard, E.
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.261453Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 857feb8e-52f6-4c41-8d0e-faec2e383de2 · outbound
This paper cites Yang, ”Logic Synthesis and Optimization Benchmarks User Guide Version 3.0,” Technical Report 1991-IWLS-UG-Saeyang, MCNC, Mi- croelectronics Center of North Carolina, 1991.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Yang, ”Logic Synthesis and Optimization Benchmarks User Guide Version 3.0,” Technical Report 1991-IWLS-UG-Saeyang, MCNC, Mi- croelectronics Center of North Carolina, 1991
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:03:33.239205Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 593afa74-d654-43be-a6f0-179ebc748319 · outbound
This paper cites an unresolved cited work.
Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:03:33.219408Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.