Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
Mohit Tiwari, J. Oberg, Xun Li, Jonathan Valamehr +5 more
Researcher profile · Semantic Scholar
Mohit Tiwari, J. Oberg, Xun Li, Jonathan Valamehr +5 more
Jonathan Valamehr, T. Sherwood, R. Kastner, David Marangoni-Simonsen +3 more
Hassan M. G. Wassel, Daoxin Dai, Mohit Tiwari, Jonathan Valamehr +4 more
Baleegh Ahmad, Wei-Kai Liu, L. Collini, H. Pearce +8 more
Ted Huffmire, Brett Brotherton, Nicholas Callegari, Jonathan Valamehr +3 more
Mohit Tiwari, B. Agrawal, Shashidhar Mysore, Jonathan Valamehr +1 more
Jonathan Valamehr, Mohit Tiwari, T. Sherwood, R. Kastner +3 more
Jonathan Valamehr, Ted Huffmire, C. Irvine, R. Kastner +3 more
Jonathan Valamehr, Melissa Chase, S. Kamara, Andrew Putnam +3 more
Ted Huffmire, T. Levin, Michael Bilzor, C. Irvine +4 more
Ted Huffmire, Jonathan Valamehr, T. Sherwood, R. Kastner +3 more
Saumil Gogri, Priya Joshi, Prashant Vurikiti, Nicole Fern +2 more
Hassan M. G. Wassel, Mohit Tiwari, Jonathan Valamehr, L. Theogarajan +3 more
Ted Huffmire, T. Levin, C. Irvine, Thuy D. Nguyen +3 more
Ishraq Tashdid, Kimia Tasnia, Alexander Garcia, Jonathan Valamehr +1 more
Jonathan Valamehr, Melissa Chase, S. Kamara, Andrew Putnam +3 more
Jonathan Valamehr, Timothy Sherwood, R. Kastner, David Marangoni-Simonsen +10 more
T. Sherwood, C. Irvine, Ted Huffmire, T. Levin +2 more
Thuy D. Nguyen, Timothy Sherwood, C. Irvine, Ted Huffmire +3 more