sel4: can we “cross the chasm”? · 2019. 10. 23. · distribution statement a. approved for...

DISTRIBUTION STATEMENT A. Approved for public release. Distribution is unlimited. Case number 88ABW-2019-4369. 10 Sep 2019. 1

seL4:Can We “Cross the Chasm”?

D r. P a u l R a t a z z i

I n f o r m a t i o n E x p l o i t a t i o n & O p e r a t i o n s D i v i s i o n

2 5 S e p 2 0 1 9


AFRL Cyber Organization


AFRL/RI Cyber Science & Technology CTC

One of four Core Technical Competencies (CTC) that comprise the mission space for AFRL’s Information Directorate (AFRL/RI)

+ collaboration & teaming with cyber teams embedded in AFRL technical directorates (TD)

Mission:Lead development of cyberspace S&T necessary to address capability gaps and associated technical hard problems to establish cyberspace superiority and support the conduct of full-spectrum cyberspace operations integrated with other domains.

Technology that enables our freedom to operate in cyberspace, while denying the adversary the same


Cyber CTC Lines of Effort

seL4


Technology Adoption Lifecycle (Moore, 1991)

Moore, Geoffrey A. “Crossing the Chasm.” (1991).


Vision

• Adoption• Innovation• Availability• Collaboration• Protected intellectual property• Education, training & certification• Roadmap


What I Did This Summer

• Summer Faculty Research Sponsor

• Faculty plus two undergraduate CS students (rising seniors)• Project: hierarchical key management and authentication for Internet Battlefield of Things (IoBT)

• Goal: design, implement, and demonstrate scheme on a network of representative devices

BUILD IT ON SEL4 THEY SAID

IT’LL BE FUN THEY SAID


Issues (unordered)

• Competing” codebases• Build environment• Documentation• Hardware support• Development kit• Re-invention of wheels• Application repository• Advanced training• Development / feature roadmap


Some Ideas


Framework: Self-Sustaining Consortium

• Education, Training & Certification• On-line training, on-site training, and seL4 certification(s)

• Development Center• Maintain U.S.-based seL4 kernel mirror and application source code repository• Provisions for US and DoD private components• Enforce disciplined development• Provide guidance for community coding practices• Common code sharing, reuse

• Innovation Center• US focal point for bringing new ideas to the seL4 community• Bring experts together with stakeholders• Create roadmap for development and priorities

• Outreach• Bolster the academic and R&D community exposure and support• Advocate adoption of seL4 framework• Organize gatherings, events• Marketing


Griffiss Open Innovation Campus


Storefront & Development Kit (artist’s concept)

Artist: L. Yan (2019)


Security Education

AFRL Advanced Course in Engineering

“Canned” Security Labs


2020 Faculty Research Topics (selected)

• Microkernel Security and Usability“This topic seeks innovative research in tools and techniques that will drastically reduce the cost of adopting new security paradigms for embedded systems as well as provide additional insights into the cost/benefits of security.”• AFRL sponsor: Lok Yan, [email protected]

• Assurance in Mixed-Trust Environments“This research topic invites innovative research leading to the ability to conduct assured operations in and through a cyberspace composed of many diverse components with varying degrees of trust.”• AFRL sponsor: Paul Ratazzi, [email protected]

AFRL/RI 2019 Visiting Faculty Research Program (VFRP): https://go.usa.gov/xV589

Air Force Research Lab Summer Faculty Fellowship Program (SFFP): http://afsffp.sysplus.com/

ALIGNED WITH S&T PORTFOLIO AND

TECHNOLOGY TRANSITION MECHANISMS

mailto:[email protected]

mailto:[email protected]

https://go.usa.gov/xV589

http://afsffp.sysplus.com/

DISTRIBUTION STATEMENT A. Approved for public release. Distribution is unlimited. Case number 88ABW-2019-4369. 10 Dep 2019. 15

Thank you!

sel4: can we “cross the chasm”? · 2019. 10. 23. · distribution statement a. approved for...

Documents