Faculty

Institution

Unit

Venue

M. Kaashoek

Charles Piper Professor

Massachusetts Institute of Technology

Affiliations

School of Engineering

Electrical Engineering and Computer Science

Medical Engineering and Science

M. Kaashoek is currently serving as an Electrical Engineering And Computer Science Charles Piper Professor at Massachusetts Institute of Technology.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

M. Kaashoek

Massachusetts Institute of Technology

Charles Piper Professor

You can click a keyword to filter the displayed items

computer science systems engineering computer security information security computer engineering machine learning cryptography parallel computing distributed systems communication security data security distributed computing data mining performance evaluation operating systems distributed hash table engineering information technology wireless communications group communication distributed processing hash functions operating system security programming languages reliability engineering industrial informatics operation management process safety system safety mobile computing human-computer interaction online information databases telecommunication networks high-speed networking wireless routing router architecture performance comparison file systems code generation high-level programming language complex event processing real-time application event processing case studies event evaluation overlay networks performance scalability mobile operating system virtual memory information security management privacy system digital identity management data anonymization privacy management database theory object-oriented databases system programming network management wireless network management access control internet applications distributed lookup service peer-to-peer systems distributed hash tables orca shared-object system asbestos operating system event processes resilient overlay networks mobile devices flexible application-level networking exokernel systems application-level virtual memory email pseudonym server secure applications two-case delivery technology system software computational paradigm software engineering next generation computing mobile systems

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. Symposium on Operating Systems Principles (2024)

Anish AthalyeHenry Corrigan-GibbsFrans KaashoekJoseph TassarottiNickolai Zeldovich

operating system securitysystems engineeringmodular verificationinformation securityleakage-free systemscircuit-level implementationapplication specification

The K2 Architecture for Trustworthy Hardware Security Modules. (2023)

Anish AthalyeFrans KaashoekNickolai ZeldovichJoseph Tassarotti

hardware securitycomputer science

ARGOSY: Verifying Layered Storage Systems With Recovery Refinement. ACM-SIGPLAN Symposium on Programming Language Design and Implementation (2019)

Tej ChajedJoseph TassarottiM. Frans KaashoekNickolai Zeldovich

systems engineeringrecovery refinementintegrity verificationverification and validationformal verificationverification

Extracting and Optimizing Formally Verified Code for Systems Programming. Lecture notes in computer science (2019)

Eleftherios IoannidisFrans KaashoekNickolai Zeldovich

source code analysiscomputer sciencecode validationprogram analysisformal techniqueformal verificationcomputational optimizationfunctional verificationformal methodssoftware verification

A Differential Approach to Undefined Behavior Detection. Communications of the ACM (2016)

Xi WangNickolai ZeldovichM. Frans KaashoekArmando Solar-Lezama

computer sciencesystems engineeringbehavioral sciencesundefined behavior detectionpattern recognitionmachine learning

Design and Applications of a Secure and Decentralized Distributed Hash Table. (2011)

M. Frans KaashoekChristopher T. Lesniewski-Laas

distributed hash tablesystems engineeringdistributed processingnetworked system designdistributed systemsdistributed computingdata securitycomputer securitydata miningdecentralized securitynetwork analysiscryptographyhash functions

Device Transparency. ACM SIGOPS Operating Systems Review (2010)

Jacob StraussChris Lesniewski-LaasJustin Mazzola PaluskaBryan FordRobert MorrisFrans Kaashoek

operating system securitycomputer scienceoperating systemsdevice transparency

Device-Transparent Personal Storage. (2010)

M. Frans KaashoekRobert T. MorrisJacob Alo Strauss

data managementsystems engineeringdevice-transparent personal storagedata privacy

WHANAU: A Sybil-Proof Distributed Hash Table. (2010)

Chris Lesniewski-LaasM. Frans Kaashoek

informaticssystems engineeringdistributed systemsdistributed computingcryptography

Elements of Computer System Organization. Elsevier eBooks (2009)

Jerome H. SaltzerM. Frans Kaashoek

computer scienceparallel computingcomputer system organization

1
2
3
4
5
10 / page

M. Kaashoek

Charles Piper Professor

Massachusetts Institute of Technology

Affiliations

School of Engineering

Electrical Engineering and Computer Science

Medical Engineering and Science

M. Kaashoek is currently serving as an Electrical Engineering And Computer Science Charles Piper Professor at Massachusetts Institute of Technology.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

M. Kaashoek

Massachusetts Institute of Technology

Charles Piper Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. Symposium on Operating Systems Principles (2024)

Anish AthalyeHenry Corrigan-GibbsFrans KaashoekJoseph TassarottiNickolai Zeldovich

operating system securitysystems engineeringmodular verificationinformation securityleakage-free systemscircuit-level implementationapplication specification

The K2 Architecture for Trustworthy Hardware Security Modules. (2023)

Anish AthalyeFrans KaashoekNickolai ZeldovichJoseph Tassarotti

hardware securitycomputer science

ARGOSY: Verifying Layered Storage Systems With Recovery Refinement. ACM-SIGPLAN Symposium on Programming Language Design and Implementation (2019)

Tej ChajedJoseph TassarottiM. Frans KaashoekNickolai Zeldovich

systems engineeringrecovery refinementintegrity verificationverification and validationformal verificationverification

Extracting and Optimizing Formally Verified Code for Systems Programming. Lecture notes in computer science (2019)

Eleftherios IoannidisFrans KaashoekNickolai Zeldovich

source code analysiscomputer sciencecode validationprogram analysisformal techniqueformal verificationcomputational optimizationfunctional verificationformal methodssoftware verification

A Differential Approach to Undefined Behavior Detection. Communications of the ACM (2016)

Xi WangNickolai ZeldovichM. Frans KaashoekArmando Solar-Lezama

computer sciencesystems engineeringbehavioral sciencesundefined behavior detectionpattern recognitionmachine learning

Design and Applications of a Secure and Decentralized Distributed Hash Table. (2011)

M. Frans KaashoekChristopher T. Lesniewski-Laas

Device Transparency. ACM SIGOPS Operating Systems Review (2010)

Jacob StraussChris Lesniewski-LaasJustin Mazzola PaluskaBryan FordRobert MorrisFrans Kaashoek

operating system securitycomputer scienceoperating systemsdevice transparency

Device-Transparent Personal Storage. (2010)

M. Frans KaashoekRobert T. MorrisJacob Alo Strauss

data managementsystems engineeringdevice-transparent personal storagedata privacy

WHANAU: A Sybil-Proof Distributed Hash Table. (2010)

Chris Lesniewski-LaasM. Frans Kaashoek

informaticssystems engineeringdistributed systemsdistributed computingcryptography

Elements of Computer System Organization. Elsevier eBooks (2009)

Jerome H. SaltzerM. Frans Kaashoek

computer scienceparallel computingcomputer system organization

1
2
3
4
5
10 / page

Similar Faculty Members

Jonathan M. Smith

Institution

University of Pennsylvania

distributed computing

computer engineering

Monica Lam

Institution

Stanford University

computer science

parallel computing

Zhiqiang Lin

Institution

Ohio State University

security testing method

computer engineering

Christopher Gill

Institution

Washington University in St. Louis

real-time system design

real time systems

Abraham Silberschatz

Institution

Yale University

data management

database systems

Dan C. Marinescu

Institution

University of Central Florida

grid computing

supercomputer architecture

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Jerzy W Rozenblit

Institution

University of Arizona

design automation

computer-based systems

David Andrews

Institution

University of Arkansas

hybridthreads

reconfigurable computing

Houman Homayoun

Institution

University of California, Davis

cryptographic hardware

trusted execution environment

Similar Faculty Members

Jonathan M. Smith

Institution

University of Pennsylvania

distributed computing

computer engineering

Monica Lam

Institution

Stanford University

computer science

parallel computing

Zhiqiang Lin

Institution

Ohio State University

security testing method

computer engineering

Christopher Gill

Institution

Washington University in St. Louis

real-time system design

real time systems

Abraham Silberschatz

Institution

Yale University

data management

database systems

Dan C. Marinescu

Institution

University of Central Florida

grid computing

supercomputer architecture

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Jerzy W Rozenblit

Institution

University of Arizona

design automation

computer-based systems

David Andrews

Institution

University of Arkansas

hybridthreads

reconfigurable computing

Houman Homayoun

Institution

University of California, Davis

cryptographic hardware

trusted execution environment