Concepedia

Nathan Rittenhouse

NR

1

Publications

40

Citations

1

H-Index

2015

Active since

Nathan Rittenhouse is an author specializing in computer engineering, system software, and hardware security.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification

Publications per year

2015–2015

1

Publications

1

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse et al. · 2015 · 40 citations · Full text

Branch-and-bound Algorithm, Engineering, Verification +21

Rows per page

1–1 of 1