Alejandro Russo

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3141	945
indeks-h	31	18
indeks-i10	51	30

320

160

240

200720082009201020112012201320142015201620172018201920202021202220232024202530 15 34 58 109 177 184 236 248 267 251 209 311 211 233 171 199 120 11

Akses publik

Lihat semua

37 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Deian StefanUC San DiegoEmail yang diverifikasi di eng.ucsd.edu
David MazièresProfessor of Computer Science, Stanford UniversityEmail yang diverifikasi di nospam.scs.stanford.edu
John C MitchellProfessor of Computer Science, Stanford UniversityEmail yang diverifikasi di Stanford.edu
Pablo BuirasKTH Royal Institute of TechnologyEmail yang diverifikasi di kth.se
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityEmail yang diverifikasi di chalmers.se
Amit LevyPrinceton UniversityEmail yang diverifikasi di cs.princeton.edu
Edward Z. YangResearch Engineer, FacebookEmail yang diverifikasi di meta.com
Marco VassenaUtrecht UniversityEmail yang diverifikasi di uu.nl
Koen ClaessenChalmers University of TechnologyEmail yang diverifikasi di chalmers.se
David TereiStanford UniversityEmail yang diverifikasi di scs.stanford.edu
Lucas WayeMetaEmail yang diverifikasi di fb.com
Stefan HeuleEmail yang diverifikasi di cs.stanford.edu
Agustin MistaChalmers University of TechnologyEmail yang diverifikasi di chalmers.se
Tamara RezkINRIAEmail yang diverifikasi di inria.fr
David SandsProfessor of Computer Science, Chalmers University of TechnologyEmail yang diverifikasi di chalmers.se
Maximilian AlgehedQuviq ABEmail yang diverifikasi di quviq.com
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzEmail yang diverifikasi di ucsc.edu
Dimitrios VytiniotisDeepMindEmail yang diverifikasi di google.com
Mauro JaskelioffCIFASIS/CONICET - Universidad Nacional de RosarioEmail yang diverifikasi di fceia.unr.edu.ar
Nachiappan ValliappanPostdoctoral research fellow, University of EdinburghEmail yang diverifikasi di ed.ac.uk

Ikuti

Alejandro Russo

Professor, Computer Science and Engineering Department, Chalmers / Göteborg University

Email yang diverifikasi di chalmers.se - Beranda

Information-flow security differential privacy secure IoT programming fuzzing functional programming


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Dynamic vs. static flow-sensitive security analysis A Russo, A Sabelfeld 2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010	300	2010
Flexible dynamic information flow control in Haskell D Stefan, A Russo, JC Mitchell, D Mazières Proceedings of the 4th ACM Symposium on Haskell, 95-106, 2011	207	2011
Hails: Protecting data privacy in untrusted web applications D Giffin, A Levy, D Stefan, D Terei, D Mazières, J Mitchell, A Russo Journal of Computer Security 25 (4-5), 427-461, 2017	203	2017
From dynamic to static and back: Riding the roller coaster of information-flow control research A Sabelfeld, A Russo Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010	177	2010
Testing an optimising compiler by generating random lambda terms MH Pałka, K Claessen, A Russo, J Hughes Proceedings of the 6th International Workshop on Automation of Software Test …, 2011	141	2011
A library for light-weight information-flow security in Haskell A Russo, K Claessen, J Hughes ACM Sigplan Notices 44 (2), 13-24, 2008	126	2008
Protecting Users by Confining JavaScript with COWL. D Stefan, EZ Yang, P Marchenko, A Russo, D Herman, B Karp, ... Symposium on Operating Systems Design and Implementation (OSDI), 131-146, 2014	116	2014
Tracking information flow in dynamic tree structures A Russo, A Sabelfeld, A Chudnov Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009	102	2009
HLIO: Mixing static and dynamic typing for information-flow control in Haskell P Buiras, D Vytiniotis, A Russo ACM SIGPLAN International Conference in Functional Programming (ICFP) 50 (9 …, 2015	100	2015
Securing interaction between threads and the scheduler A Russo, A Sabelfeld 19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-189, 2006	89	2006
On-the-fly inlining of dynamic security monitors J Magazinius, A Russo, A Sabelfeld Computers & Security 31 (7), 827-843, 2012	88	2012
Addressing covert termination and timing channels in concurrent information flow systems D Stefan, A Russo, P Buiras, A Levy, JC Mitchell, D Mazieres ACM SIGPLAN Notices 47 (9), 201-214, 2012	88	2012
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling D Stefan, P Buiras, EZ Yang, A Levy, D Terei, A Russo, D Mazières European Symposium on Research in Computer Security, 2013	84	2013
Disjunction category labels D Stefan, A Russo, D Mazières, JC Mitchell Information Security Technology for Applications: 16th Nordic Conference on …, 2012	84	2012
Security of multithreaded programs by compilation G Barthe, T Rezk, A Russo, A Sabelfeld European Symposium on Research in Computer Security, 2-18, 2007	66	2007
Closing internal timing channels by transformation A Russo, J Hughes, D Naumann, A Sabelfeld Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007	61	2007
Functional pearl: two can keep a secret, if one of them uses Haskell A Russo ACM SIGPLAN International Conference in Functional Programming (ICFP) 50 (9 …, 2015	58	2015
A library for secure multi-threaded information flow in Haskell T Tsai, A Russo, J Hughes 20th IEEE Computer Security Foundations Symposium (CSF'07), 187-202, 2007	56	2007
Securing timeout instructions in web applications A Russo, A Sabelfeld 2009 22nd IEEE Computer Security Foundations Symposium, 92-106, 2009	53	2009
Secure multi-execution in Haskell M Jaskelioff, A Russo Perspectives of Systems Informatics, 170-178, 2012	52	2012

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama