Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ranjit Jhala

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Klaus von Gleissenthall

> Home > Persons > Ranjit Jhala

Publications

2021
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/VassenaDGCKJTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/VassenaDGCKJTS21
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan:
Automatically eliminating speculative leaks from cryptographic code with blade. Proc. ACM Program. Lang. 5(POPL): 1-30 (2021)
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/GleissenthallKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/GleissenthallKS21
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala:
Solver-Aided Constant-Time Hardware Verification. CCS 2021: 429-444
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-00461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-00461
Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala:
Solver-Aided Constant-Time Circuit Verification. CoRR abs/2104.00461 (2021)
2020
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-00294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-00294
Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala:
Automatically Eliminating Speculative Leaks With Blade. CoRR abs/2005.00294 (2020)
2019
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/GleissenthallKB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/GleissenthallKB19
Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala:
Pretend synchrony: synchronous verification of asynchronous distributed programs. Proc. ACM Program. Lang. 3(POPL): 59:1-59:30 (2019)
[c72]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/GleissenthallKS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/GleissenthallKS19
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala:
IODINE: Verifying Constant-Time Execution of Hardware. USENIX Security Symposium 2019: 1411-1428
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-03111
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-03111
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala:
Iodine: Verifying Constant-Time Execution of Hardware. CoRR abs/1910.03111 (2019)
2017
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BakstGKJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BakstGKJ17
Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala:
Verifying distributed programs via canonical sequentialization. Proc. ACM Program. Lang. 1(OOPSLA): 110:1-110:27 (2017)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.