Concepedia

Anders Kaseorg

AK

2

Publications

45

Citations

2

H-Index

2009

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Anders Kaseorg is an author at Massachusetts Institute of Technology specializing in software analysis, data security, and program analysis.

Top concepts

EngineeringData SecurityProgram AnalysisSoftware AnalysisRiskSecurityCompilersStatisticsCryptographyVerification

Publications per year

2009–2022

2

Publications

2

C4: verified transactional objects

Mohsen Lesani, Li-yao Xia, Anders Kaseorg et al. · Proceedings of the ACM on Programming Languages · 2022 · 26 citations · Full text

Engineering, Verification, Computer-aided Verification +23

Security impact ratings considered harmful

Jeff Arnold, Tim Abbott, Waseem Daher et al. · ArXiv.org · 2009 · 19 citations · Full text

Software Maintenance, Engineering, Information Security +19

Rows per page

1–2 of 2