Faculty

Institution

Unit

Venue

Ted Huffmire

Naval Postgraduate School

Affiliations

Center for Cybersecurity and Cyber Operations

Computer Science

Institute Of Cebrowski

NoneTed Huffmire is currently serving as a Center For Cybersecurity And Cyber Operations faculty at Naval Postgraduate School.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Ted Huffmire

Naval Postgraduate School

You can click a keyword to filter the displayed items

systems engineering computer science hardware security computer security computer engineering information security electrical engineering reconfigurable hardware embedded systems field programmable gate array trusted execution environments hardware security solution trustworthy system security program analysis formal verification computer-aided design software analysis cryptographic hardware fpga design software security secure computing trustworthy systems policy-driven memory protection manufacturing verification reliability engineering system software data security design automation computer graphics system safety educational psychology applied psychology psychological science computer-aided manufacturing security management computer-aided verification security testing method wavelet theory micro-electromechanical systems network on chip network security threat (computer) 3d reconstruction 3d modeling student motivation achievement motivation public service motivation hardware verification language isolation primitive system development fpga-based embedded systems fpga design security code coverage security requirements assertion checkers wavelet-based phase classification security checkers provable security properties secure systems hardware assistance

Notable Scholarly Works

Notable Federal Grants

Collaborators

Networks on Chip With Provable Security Properties. IEEE Micro (2014)

Hassan M.G. WasselYing GaoJason K. ObergTed HuffmireRyan KastnerFrederic T. ChongTimothy Sherwood

network sciencesystems engineeringmicro-electromechanical systemscomputer sciencenetwork on chipprovable security propertiesnetwork securityelectrical engineering

A 3-D Split Manufacturing Approach to Trustworthy System Development. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2013)

Jonathan ValamehrTimothy SherwoodRyan KastnerDavid Marangoni-SimonsenTed HuffmireCynthia IrvineTimothy Levin

computer-aided designsystem developmentsystems engineeringengineeringcomputer-aided manufacturingreliability engineeringelectrical engineeringmanufacturing

Surfnoc. (2013)

Hassan M. G. WasselYing GaoJason K. ObergTed HuffmireRyan KastnerFrederic T. ChongTimothy Sherwood

3D Security, 3Dsec: Trustworthy System Security Through 3D Integrated Hardware [Poster]. (2012)

Tim SherwoodCynthia IrvineTed HuffmireTim LevinRyan KastnerJonathan Valamehr

hardware securitysystems engineering

A 3D Data Transformation Processor. (2012)

computer-aided designgraphicscomputer graphicscomputer science3d reconstructiongeometric modelingcomputational geometry3d modelingdata transformation processor

A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-Processors. Lecture notes in computer science (2012)

Jonathan ValamehrTed HuffmireCynthia IrvineRyan KastnerÇetin Kaya KoçTimothy LevinTimothy Sherwood

computer securityqualitative security analysiscryptographycomputer sciencecomputer engineering

Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers With Code Coverage. (2012)

computer securitycode coveragesystem softwareverificationcomputer-aided verificationhardware securitycomputer sciencesoftware securitycomputer engineeringsecurity testing methodsecurity requirementsassertion checkerssoftware engineeringprogram analysisformal verificationsoftware analysis

3-D Extensions for Trustworthy Systems. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) (2011)

Ted HuffmireTimothy LevinCynthia IrvineRyan KastnerTimothy Sherwood

trustworthy systemssystems engineeringreliability

Security Checkers: Detecting Processor Malicious Inclusions at Runtime. (2011)

computer securitydata securitysecurity checkerscomputer sciencetrusted execution environmentssoftware securityinformation securityprogram analysisformal verificationsoftware analysis

Forward-Looking Problems. Springer eBooks (2010)

Ted HuffmireCynthia IrvineThuy D. NguyenTimothy LevinRyan KastnerTimothy Sherwood

forward-looking problemscomputer science

1
2
3
4
10 / page

Ted Huffmire

Naval Postgraduate School

Affiliations

Center for Cybersecurity and Cyber Operations

Computer Science

Institute Of Cebrowski

NoneTed Huffmire is currently serving as a Center For Cybersecurity And Cyber Operations faculty at Naval Postgraduate School.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Ted Huffmire

Naval Postgraduate School

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Networks on Chip With Provable Security Properties. IEEE Micro (2014)

Hassan M.G. WasselYing GaoJason K. ObergTed HuffmireRyan KastnerFrederic T. ChongTimothy Sherwood

network sciencesystems engineeringmicro-electromechanical systemscomputer sciencenetwork on chipprovable security propertiesnetwork securityelectrical engineering

A 3-D Split Manufacturing Approach to Trustworthy System Development. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2013)

Jonathan ValamehrTimothy SherwoodRyan KastnerDavid Marangoni-SimonsenTed HuffmireCynthia IrvineTimothy Levin

computer-aided designsystem developmentsystems engineeringengineeringcomputer-aided manufacturingreliability engineeringelectrical engineeringmanufacturing

Surfnoc. (2013)

Hassan M. G. WasselYing GaoJason K. ObergTed HuffmireRyan KastnerFrederic T. ChongTimothy Sherwood

3D Security, 3Dsec: Trustworthy System Security Through 3D Integrated Hardware [Poster]. (2012)

Tim SherwoodCynthia IrvineTed HuffmireTim LevinRyan KastnerJonathan Valamehr

hardware securitysystems engineering

A 3D Data Transformation Processor. (2012)

computer-aided designgraphicscomputer graphicscomputer science3d reconstructiongeometric modelingcomputational geometry3d modelingdata transformation processor

A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-Processors. Lecture notes in computer science (2012)

Jonathan ValamehrTed HuffmireCynthia IrvineRyan KastnerÇetin Kaya KoçTimothy LevinTimothy Sherwood

computer securityqualitative security analysiscryptographycomputer sciencecomputer engineering

Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers With Code Coverage. (2012)

3-D Extensions for Trustworthy Systems. Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School) (2011)

Ted HuffmireTimothy LevinCynthia IrvineRyan KastnerTimothy Sherwood

trustworthy systemssystems engineeringreliability

Security Checkers: Detecting Processor Malicious Inclusions at Runtime. (2011)

computer securitydata securitysecurity checkerscomputer sciencetrusted execution environmentssoftware securityinformation securityprogram analysisformal verificationsoftware analysis

Forward-Looking Problems. Springer eBooks (2010)

Ted HuffmireCynthia IrvineThuy D. NguyenTimothy LevinRyan KastnerTimothy Sherwood

forward-looking problemscomputer science

1
2
3
4
10 / page