Ben Gras
Ben Gras
Adresse e-mail validée de intel.com - Page d'accueil
Titre
Citée par
Citée par
Année
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
1892015
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
1772006
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
1482016
ASLR on the Line: Practical Cache Attacks on the MMU.
B Gras, K Razavi, E Bosman, H Bos, C Giuffrida
NDSS 17, 26, 2017
1432017
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
1132007
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
1022018
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
982006
An identity-based ring signature scheme with enhanced privacy
C Gamage, B Gras, B Crispo, AS Tanenbaum
2006 Securecomm and Workshops, 1-5, 2006
772006
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
762009
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
342006
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
222009
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
152009
NetCAT: Practical cache attacks from the network
M Kurth, B Gras, D Andriesse, C Giuffrida, H Bos, K Razavi
41st IEEE Symposium on Security and Privacy (S&P), 2020
132020
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
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
82016
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
ABSynthe: Automatic Blackbox Side-channel Synthesis on Commodity Microarchitectures
B Gras, C Giuffrida, M Kurth, H Bos, K Razavi
Network and Distributed Systems Security (NDSS) Symposium, 2020
52020
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, 1-6, 2017
52017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20