Follow
Ihor Kuz
Ihor Kuz
Senior OS Engineer, Kry10 Ltd
Verified email at ikuz.org - Homepage
Title
Cited by
Cited by
Year
Automatic device driver synthesis with Termite
L Ryzhyk, P Chubb, I Kuz, E Le Sueur, G Heiser
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
1592009
The distributed ASCI supercomputer project
H Bal, R Bhoedjang, R Hofman, C Jacobs, T Kielmann, J Maassen, ...
ACM SIGOPS Operating Systems Review 34 (4), 76-96, 2000
1472000
Dingo: Taming device drivers
L Ryzhyk, P Chubb, I Kuz, G Heiser
Proceedings of the 4th ACM European conference on Computer systems, 275-288, 2009
1442009
Towards trustworthy computing systems: taking microkernels to the next level
G Heiser, K Elphinstone, I Kuz, G Klein, SM Petters
ACM SIGOPS Operating Systems Review 41 (4), 3-11, 2007
1382007
CAmkES: A component model for secure microkernel-based embedded systems
I Kuz, Y Liu, I Gorton, G Heiser
Journal of Systems and Software 80 (5), 687-699, 2007
1142007
The Globe distribution network
A Bakker, E Amade, G Ballintijn, I Kuz, P Verkaik, I Van der Wijk, ...
2000 USENIX Annual Technical Conference (USENIX ATC 00), 2000
782000
A scalable middleware solution for advanced wide-area web services
M van Steen, AS Tanenbaum, I Kuz, HJ Sips
Distributed Systems Engineering 6 (1), 34, 1999
771999
Differentiated strategies for replicating Web documents
G Pierre, I Kuz, M Van Steen, AS Tanenbaum
Computer Communications 24 (2), 232-240, 2001
762001
Formally verified software in the real world
G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser
Communications of the ACM 61 (10), 68-77, 2018
612018
A framework for consistent, replicated Web objects
AM Kermarrec, I Kuz, M Van Steen, AS Tanenbaum
Proceedings. 18th International Conference on Distributed Computing Systems …, 1998
571998
A formal approach to constructing secure air vehicle software
D Cofer, A Gacek, J Backes, MW Whalen, L Pike, A Foltzer, M Podhradsky, ...
Computer 51 (11), 14-23, 2018
382018
capDL: A language for describing capability-based systems
I Kuz, G Klein, C Lewis, A Walker
Proceedings of the first ACM asia-pacific workshop on Workshop on systems, 31-36, 2010
362010
A Distributed-Object Infrastructure for Corporate Websites
I Kuz, P Verkaik, M Van Steen, HJ Sips
Proceedings DOA'00. International Symposium on Distributed Objects and …, 2000
352000
Operating systems on SoCs: a good idea?
F Engel, I Kuz, SM Petters, S Ruocco
Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, 2004
342004
Composing patterns to construct secure systems
P Rimba, L Zhu, L Bass, I Kuz, S Reeves
2015 11th European Dependable Computing Conference (EDCC), 213-224, 2015
282015
The globe infrastructure directory service
I Kuz, M Van Steen, HJ Sips
Computer Communications 25 (9), 835-845, 2002
242002
The road to trustworthy systems
G Heiser, J Andronick, K Elphinstone, G Klein, I Kuz, L Ryzhyk
Proceedings of the fifth ACM workshop on Scalable trusted computing, 3-10, 2010
202010
Securely replicated web documents
BC Popescu, M Van Steen, B Crispo, AS Tanenbaum, J Sacha, I Kuz
Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE …, 2005
18*2005
Multicore {OS} Benchmarks: We Can Do Better
I Kuz, Z Anderson, P Shinde
13th Workshop on Hot Topics in Operating Systems (HotOS XIII), 2011
172011
Secure mathematically-assured composition of control models
D Cofer, J Backes, A Gacek, D DaCosta, M Whalen, I Kuz, G Klein, ...
Air Force Research Laboratory Information Directorate, 2017
152017
The system can't perform the operation now. Try again later.
Articles 1–20