University of Cambridge > Talks.cam > CTSRD - CRASH-worthy Trusted Systems R&D

CTSRD - CRASH-worthy Trusted Systems R&D

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Talks related to the CTSRD project.

Tell a friend about this list:

If you have a question about this list, please contact: Jonathan Anderson. If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 2 talks in the archive.

A monadic approach to automated reasoning for Bluespec SystemVerilog

UserDominic Richards, The University of Manchester.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockWednesday 20 July 2011, 11:00-12:00

Computer Laboratory Security Seminar

CTSRD: Capability CPUs revisited

UserPeter Neumann, SRI International / Robert Watson, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 03 May 2011, 14:45-15:45

Please see above for contact details for this list.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity