Ben Gras
Ben Gras
Verified email at intel.com - Homepage
TitleCited byYear
MINIX 3: A highly reliable, self-repairing operating system
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
ACM SIGOPS Operating Systems Review 40 (3), 80-89, 2006
1672006
Practical context-sensitive CFI
V Van der Veen, D Andriesse, E Göktaş, B Gras, L Sambuc, A Slowinska, ...
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications …, 2015
1382015
Failure resilience for device drivers
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007
1082007
Flip feng shui: Hammering a needle in the software stack
K Razavi, B Gras, E Bosman, B Preneel, C Giuffrida, H Bos
25th {USENIX} Security Symposium ({USENIX} Security 16), 1-18, 2016
1062016
ASLR on the Line: Practical Cache Attacks on the MMU.
B Gras, K Razavi, E Bosman, H Bos, C Giuffrida
NDSS 17, 26, 2017
1002017
Construction of a highly dependable operating system
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
2006 Sixth European Dependable Computing Conference, 3-12, 2006
942006
Fault isolation for device drivers
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 33-42, 2009
682009
An identity-based ring signature scheme with enhanced privacy
C Gamage, B Gras, B Crispo, AS Tanenbaum
2006 Securecomm and Workshops, 1-5, 2006
652006
Translation leak-aside buffer: Defeating cache side-channel protections with {TLB} attacks
B Gras, K Razavi, H Bos, C Giuffrida
27th {USENIX} Security Symposium ({USENIX} Security 18), 955-972, 2018
472018
Reorganizing UNIX for reliability
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
Asia-Pacific Conference on Advances in Computer Systems Architecture, 81-94, 2006
312006
Modular system programming in MINIX 3
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
USENIX; login 31 (2), 19-28, 2006
252006
Enhancing a dependable multiserver operating system with temporal protection via resource reservations
A Mancina, D Faggioli, G Lipari, JN Herder, B Gras, AS Tanenbaum
Real-Time Systems 43 (2), 177-210, 2009
212009
Dealing with driver failures in the storage stack
JN Herder, DC Van Moolenbroek, R Appuswamy, B Wu, B Gras, ...
2009 Fourth Latin-American Symposium on Dependable Computing, 119-126, 2009
142009
Roadmap to a failure-resilient operating system
J Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
USENIX; login 32 (1), 14-20, 2007
112007
Countering IPC threats in multiserver operating systems
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
Proc. 14th PRDC, 2008
92008
Countering ipc threats in multiserver operating systems (a fundamental requirement for dependability)
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
2008 14th IEEE Pacific Rim International Symposium on Dependable Computing …, 2008
72008
OSIRIS: Efficient and consistent recovery of compartmentalized operating systems
K Bhat, D Vogt, E Van Der Kouwe, B Gras, L Sambuc, AS Tanenbaum, ...
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
62016
RevAnC: A framework for reverse engineering hardware page table caches
S Van Schaik, K Razavi, B Gras, H Bos, C Giuffrida
Proceedings of the 10th European Workshop on Systems Security, 3, 2017
52017
The Architecture of a Reliable Operating System
JN Herder, H Bos, B Gras, P Homburg, AS Tanenbaum
Proceedings of the twelfth annual conference of the Advanced School for …, 2006
32006
Reverse engineering hardware page table caches using side-channel attacks on the mmu
S van Schaik, K Razavi, B Gras, H Bos, C Giuffrida
VU Amsterdam, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20