Intel

file

Visible to the public Synergy: Collaborative Research: Security and Privacy-Aware Cyber-Physical Systems

Abstract:

Security and privacy concerns in the increasingly interconnected world are receiving much attention from the research community, policymakers, and general public. However, much of the recent and on-going efforts concentrate on privacy in communication and social interactions. The advent of cyber-physical systems, which aim at tight integration between distributed computational intelligence, communication networks, physical world, and human actors, opens new possibilities for developing intelligent systems with new capabilities.

forum

Visible to the public NEW NSF CPS/SaTC INITIATIVE (SOLICITATION) - 2014

The National Science Foundation's (NSF) Directorate for Computer and Information Science and Engineering (CISE) and Intel Labs recently announced a new partnership to support novel, transformative, multidisciplinary approaches that address the problem of securing current and emerging cyber-physical systems, the infrastructures they form, and those integrated with them.

file

Visible to the public Replacing Testing with Formal Verification in Intel® Core™ i7 Processor Execution Engine Validation

Abstract

Formal verification of arithmetic data-paths has been part of the established methodology for most Intel processor designs over the last years. Usually formal verification has been in the role of supplementing more traditional coverage oriented testing activities. For the recent Intel(r) Core(tm) i7 design we took a step further and used formal verification as the primary validation vehicle for the core execution cluster, the component responsible for the functional behaviour of all microinstructions of the design.