Concepedia

Adrian Hilton

AH

3

Publications

80

Citations

3

H-Index

2004

Active since

Affiliations

Praxis (United Kingdom)(Current)

Adrian Hilton is an author at Praxis (United Kingdom) specializing in hardware security, systems engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationSystems EngineeringSoftware EngineeringSecurity

Publications per year

2004–2005

3

Publications

3

Enforcing security and safety models with an information flow analysis tool

Roderick Chapman, Adrian Hilton · 2004 · 47 citations

Engineering, Information Security, Safety Models +24

Enforcing security and safety models with an information flow analysis tool

Roderick Chapman, Adrian Hilton · ACM SIGAda Ada Letters · 2004 · 23 citations

Engineering, Information Security, Safety Models +25

Developing critical systems with PLD components

Adrian Hilton, Jon G. Hall · 2005 · 10 citations

Engineering, Verification, Software Engineering +23

Rows per page

1–3 of 3