Artiklar med krav på offentlig åtkomst - Johannes KinderLäs mer
Tillgängliga någonstans: 17
TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time
F Pendlebury, F Pierazzi, R Jordaney, J Kinder, L Cavallaro
28th USENIX Security Symposium (USENIX Security), 729-746, 2019
Krav: UK Engineering and Physical Sciences Research Council
DroidSieve: Fast and accurate classification of obfuscated Android malware
G Suarez-Tangil, SK Dash, M Ahmadi, J Kinder, G Giacinto, L Cavallaro
Conference on Data and Application Security and Privacy (CODASPY), 309-320, 2017
Krav: UK Engineering and Physical Sciences Research Council
DroidScribe: Classifying Android Malware Based on Runtime Behavior
SK Dash, G Suarez-Tangil, S Khan, K Tam, M Ahmadi, J Kinder, ...
IEEE Symposium on Security and Privacy Workshops (SPW), Mobile Security …, 2016
Krav: UK Engineering and Physical Sciences Research Council
Everything Old is New Again: Binary Security of WebAssembly
D Lehmann, J Kinder, M Pradel
29th USENIX Security Symposium (USENIX Security), 2020
Krav: German Research Foundation, European Commission
Prototyping Symbolic Execution Engines for Interpreted Languages
S Bucur, J Kinder, G Candea
Architectural Support for Programming Languages and Operating Systems …, 2014
Krav: European Commission
High System-Code Security with Low Overhead
J Wagner, V Kuznetsov, G Candea, J Kinder
IEEE Symposium on Security and Privacy (S&P), 866-879, 2015
Krav: UK Engineering and Physical Sciences Research Council, European Commission
ExpoSE: Practical Symbolic Execution of Standalone JavaScript
B Loring, D Mitchell, J Kinder
International SPIN Symposium on Model Checking of Software, 196-199, 2017
Krav: UK Engineering and Physical Sciences Research Council
Modular Synthesis of Heap Exploits
D Repel, J Kinder, L Cavallaro
ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS), 2017
Krav: UK Engineering and Physical Sciences Research Council
Sound regular expression semantics for dynamic symbolic execution of JavaScript
B Loring, D Mitchell, J Kinder
ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 425-438, 2019
Krav: UK Engineering and Physical Sciences Research Council
BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews
C Rizzo, L Cavallaro, J Kinder
Int. Symp. on Research in Attacks, Intrusions, and Defenses (RAID), 25-46, 2018
Krav: UK Engineering and Physical Sciences Research Council
Efficient model checking of fault-tolerant distributed protocols
P Bokor, J Kinder, M Serafini, N Suri
IEEE/IFIP Int. Conf. Dependable Systems & Networks (DSN), 73-84, 2011
Krav: German Research Foundation
Probabilistic Naming of Functions in Stripped Binaries
J Patrick-Evans, L Cavallaro, J Kinder
Annual Computer Security Applications Conference (ACSAC), 2020
Krav: UK Engineering and Physical Sciences Research Council
POTUS: Probing Off-The-Shelf USB Drivers with Symbolic Fault Injection
J Patrick-Evans, L Cavallaro, J Kinder
USENIX Workshop on Offensive Technologies (WOOT), 2017
Krav: UK Engineering and Physical Sciences Research Council
Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction
P Bokor, J Kinder, M Serafini, N Suri
IEEE/ACM Int. Conf. Automated Software Engineering (ASE), 113-122, 2011
Krav: German Research Foundation
Hypertesting: The Case for Automated Testing of Hyperproperties
J Kinder
Hot Issues in Security Principles and Trust (HotSpot), 2015
Krav: UK Engineering and Physical Sciences Research Council
Enabling Fair ML Evaluations for Security
F Pendlebury, F Pierazzi, R Jordaney, J Kinder, L Cavallaro
ACM SIGSAC Conference on Computer and Communications Security (CCS), 2264-2266, 2018
Krav: UK Engineering and Physical Sciences Research Council
Checking Cryptographic API Usage with Composable Annotations
D Mitchell, LT van Binsbergen, B Loring, J Kinder
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), 2018
Krav: UK Engineering and Physical Sciences Research Council
Publikations- och finansieringsuppgifter tas fram automatiskt av ett datorprogram.