-
1
المؤلفون: Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
المصدر: Proceedings of the ACM on Programming Languages. 7:425-454
مصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software
-
2Electronic Resource
المؤلفون: Karthikeyan Bhargavan and Jonathan Protzenko and Andreas Rossberg and Deian Stefan, Bhargavan, Karthikeyan, Protzenko, Jonathan, Rossberg, Andreas, Stefan, Deian
مصطلحات الفهرس: Compilation, Formal methods, Programming languages, Verification, Virtual machines, WebAssembly, Article, Text, doc-type:ResearchArticle, publishedVersion
URL:
https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.1
Is Part Of Dagstuhl Reports, Volume 13, Issue 3 (2023) -
3
المؤلفون: Shravan Narayan, Tal Garfinkel, Mohammadkazem Taram, Joey Rudek, Daniel Moghimi, Evan Johnson, Chris Fallin, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean Tullsen, Deian Stefan
المصدر: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3.
-
4
المؤلفون: Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
المصدر: Proceedings of the ACM on Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languagesمصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software
وصف الملف: application/pdf
-
5Conference
المؤلفون: Marco Vassena, Craig Disselkoen, Sunjay Cauligi, Klaus Gleissenthall, Rami Gökhan Kici, Ranjit Jhala, Deian Stefan, Dean Tullsen
مصطلحات موضوعية: Reliable Security Guarantees
-
6
المؤلفون: Pete Snyder, Michael Smith, Benjamin Livshits, Deian Stefan
المصدر: CCS
مصطلحات موضوعية: Set (abstract data type), World Wide Web, Flexibility (engineering), Resource (project management), Computer science, restrict, Scripting language, Privacy policy, computer.software_genre, Filter (software), computer, Blocking (computing)
-
7
المؤلفون: Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala, Rami Gökhan Kıcı
المساهمون: Theoretical Computer Science, Network Institute
المصدر: CCS
von Gleissenthall, K, Klcl, R G, Stefan, D & Jhala, R 2021, Solver-Aided Constant-Time Hardware Verification . in CCS 2021 : Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security . Proceedings of the ACM Conference on Computer and Communications Security, vol. 2021, Association for Computing Machinery, pp. 429-444, 27th ACM Annual Conference on Computer and Communication Security, CCS 2021, Virtual, Online, Korea, Republic of, 15/11/21 . https://doi.org/10.1145/3460120.3484810
CCS 2021: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 429-444
STARTPAGE=429;ENDPAGE=444;TITLE=CCS 2021مصطلحات موضوعية: Modularity (networks), Computer science, business.industry, chemistry.chemical_element, Solver, Modular design, side-channels, Set (abstract data type), Constant (computer programming), Xenon, chemistry, Verilog, hardware, constant-time, SDG 7 - Affordable and Clean Energy, business, verification, computer, Computer hardware, computer.programming_language, Electronic circuit
-
8
المؤلفون: Shravan Narayan, Craig Disselkoen, Deian Stefan
المصدر: 2021 IEEE Secure Development Conference (SecDev).
-
9Academic Journal
المؤلفون: Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.6123; http://www.cse.chalmers.se/%7Erusso/publications_files/post2015.pdf
-
10
المؤلفون: Deian Stefan, Fraser Brown, Sorin Lerner, Alex Sanchez-Stern, John Renner
المصدر: PLDI
مصطلحات موضوعية: Domain-specific language, Computer science, business.industry, Schema (psychology), A domain, Database schema, Web application, business, Software engineering, Security policy, Privilege escalation, Data migration
-
11eBook
المؤلفون: Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
Resource Type: eBook.
Categories: COMPUTERS / Languages / General
-
12
المؤلفون: Shravan Narayan, Yousef Alhessi, Evan Johnson, Deian Stefan, Sorin Lerner, David Thien, Stefan Savage, Fraser Brown, Tyler McMullen
المصدر: NDSS
مصطلحات موضوعية: Computer science, Library science
-
13Academic Journal
المؤلفون: Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1068.4569; http://www.scs.stanford.edu/%7Ealevy/papers/resLIO-tgc2013.pdf
-
14Academic Journal
المؤلفون: Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Ro Russo, David Mazières
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.scs.stanford.edu/%7Edeian/pubs/stefan%3A2013%3Aeliminating.pdf.
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4569; http://www.scs.stanford.edu/%7Edeian/pubs/stefan%3A2013%3Aeliminating.pdf
الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.4569
http://www.scs.stanford.edu/%7Edeian/pubs/stefan%3A2013%3Aeliminating.pdf -
15Academic Journal
المؤلفون: Edward Z. Yang, Deian Stefan, John Mitchell, Petr Marchenko, Brad Karp
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.7021; http://www.scs.stanford.edu/%7Edeian/pubs/yang%3A2013%3Atowards.pdf
-
16Academic Journal
المؤلفون: Amit Levy, Deian Stefan, Ro Russo
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.3035; http://www.scs.stanford.edu/%7Edeian/pubs/buiras%3A2013%3Aa-library.pdf
-
17
المؤلفون: Deian Stefan, Sorin Lerner, Hovav Shacham, John Renner, Andres Nötzli, Fraser Brown
المصدر: PLDI
مصطلحات موضوعية: Programming language, Computer science, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, JavaScript, 01 natural sciences, Range analysis, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Compiler, computer, computer.programming_language
-
18
المؤلفون: Sunjay Cauligi, Marco Vassena, Ranjit Jhala, Dean M. Tullsen, Deian Stefan, Craig Disselkoen, Rami Gökhan Kıcı, Klaus von Gleissenthall
المساهمون: Theoretical Computer Science
المصدر: Vassena, M, Disselkoen, C, von Gleissenthall, K, Cauligi, S, Klcl, R G, Jhala, R, Tullsen, D & Stefan, D 2021, ' Automatically eliminating speculative leaks from cryptographic code with blade ', Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 49, pp. 1-30 . https://doi.org/10.1145/3434330
Proceedings of the ACM on Programming Languages, 5(POPL):49, 1-30. Association for Computing Machinery (ACM)مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Cryptography and Security, Dataflow, Computer science, Distributed computing, Speculative execution, Cryptography, 02 engineering and technology, computer.software_genre, 01 natural sciences, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Spectre, Transient (computer programming), Safety, Risk, Reliability and Quality, 010302 applied physics, Cryptographic primitive, business.industry, Type system, 020202 computer hardware & architecture, Compiler, Cache, Constant-time, business, Cryptography and Security (cs.CR), computer, Software
-
19
المؤلفون: Deian Stefan, Alejandro Russo, Marco Vassena, Deepak Garg, Vineet Rajani
المصدر: Proceedings of the ACM on Programming Languages. 3:1-31
مصطلحات موضوعية: Property (programming), Programming language, Agda, business.industry, Computer science, Open problem, Legacy system, 020207 software engineering, Usability, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, Translation (geometry), 01 natural sciences, Annotation, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Information flow (information theory), Safety, Risk, Reliability and Quality, business, computer, Software, computer.programming_language
-
20
المساهمون: Theoretical Computer Science, Network Institute
المصدر: Proceedings of the ACM on Programming Languages, 3(POPL):59, 1-30. Association for Computing Machinery (ACM)
von Gleissenthal, K, Klcl, R G, Bakst, A, Stefan, D & Jhala, R 2019, ' Pretend synchrony: synchronous verification of asynchronous distributed programs ', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 59, pp. 1-30 . https://doi.org/10.1145/3290372مصطلحات موضوعية: Leader election, Correctness, SDG 16 - Peace, Computer science, Distributed computing, Concurrency, Message passing, SDG 16 - Peace, Justice and Strong Institutions, 020207 software engineering, 02 engineering and technology, Synchronization, Justice and Strong Institutions, Paxos, Asynchronous communication, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Protocol (object-oriented programming), Software