• Suche: Verified Java bytecode verification

Treffer 1 - 20 von 1.349

2

Verified Java Bytecode Verification
Nipkow, Tobias (Prof. Ph.D.) ; Basin, David (Prof. Ph.D.) ; Klein, Gerwin ; et al.

E-Ressource
Merkliste
3

Integrated Java Bytecode Verification
Gal, Andreas ; Probst, Christian W. ; Franz, Michael
In Electronic Notes in Theoretical Computer Science 24 May 2005 131:27-38

Fachzeitschrift
Merkliste
4

Verified bytecode verification and type-certifying compilation
Klein, Gerwin ; Strecker, Martin
In Journal of Logic and Algebraic Programming 2004 58(1):27-60

Fachzeitschrift
Merkliste
5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

Verified Java Bytecode Verification
Technische Universität München ; Gerwin Klein ; Vorsitzender Univ. -prof ; et al.
http://www.doclsf.de/diss/klein-phd.pdf.

Fachzeitschrift
Merkliste
7

Verified bytecode verifiers
Klein, Gerwin ; Nipkow, Tobias
In Theoretical Computer Science 11 April 2003 298(3):583-626

Fachzeitschrift
Merkliste
8

Verified Java Bytecode Verification
Gerwin Klein ; Technische Universität München ; Univ. -prof Dr ; et al.
http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2003/klein.pdf.

Fachzeitschrift
Merkliste
9

Verified Java Bytecode Verification ; Verifizierte Java Bytecode-Verifikation
Klein, Gerwin ; Nipkow, Tobias (Prof. Ph.D.) ; Basin, David (Prof. Ph.D.)

info:eu-repo/classificat... Allgemeines Wissenschaft Java Bytecode Verification Theorem Proving …
Dissertation
Merkliste
10

Formal Translation of Bytecode into BoogiePL
Lehner, Hermann ; Müller, Peter
In Electronic Notes in Theoretical Computer Science 31 July 2007 190(1):35-50

Fachzeitschrift
Merkliste
11

SSA-based Java bytecode verification
Andreas ; Andreas ; Probst, Christian W. ; et al.

E-Ressource
Merkliste
12

Dieses Ergebnis kann Gästen nicht angezeigt werden.

13

Java Deserialization Vulnerability Detection Method Based on Hybrid Analysis
Peng ZHENG, Letian SHA
Jisuanji gongcheng, Vol 49, Iss 12, Pp 136-145 (2023)

taint analysis java deserialization vul... static analysis dynamic verification symbolic execution constraint construction …
Fachzeitschrift
Merkliste
14

Dieses Ergebnis kann Gästen nicht angezeigt werden.

15

Improving the official specification of Java bytecode verification.
Coglio, Alessandro
Concurrency & Computation: Practice & Experience; Feb2003, Vol. 15 Issue 2, p155-179, 25p, 8 Diagrams

JAVA programming languag... COMPUTER software COMPUTER security COMPUTER files
Fachzeitschrift
Merkliste
16

Simple verification technique for complex Java bytecode subroutines.
Coglio, Alessandro
Concurrency & Computation: Practice & Experience; Jun2004, Vol. 16 Issue 7, p647-670, 24p, 8 Diagrams, 6 Charts

JAVA programming languag... OBJECT-oriented programm... COMPUTER programming SUBROUTINES (Computer pr... COMPUTER software
Fachzeitschrift
Merkliste
17

On-demand distributed on-card bytecode verification.
Mamdouh, Ahmed ; Bahaa-Eldin, Ayman M. ; Sobh, Mohamed
2014 9th International Conference on Computer Engineering & Systems (ICCES); 2014, p237-241, 5p

Konferenz
Merkliste
18

Projected control graph for computing relevant program behaviors
Tamrawi, Ahmed ; Kothari, Suresh
In Science of Computer Programming 1 October 2018 163:93-114

Fachzeitschrift
Merkliste
19

Lightweight Bytecode Verification.
Eva Rose
Journal of Automated Reasoning; Sep2003, Vol. 31 Issue 3/4, p303-334, 32p

DATA protection EMBEDDED computer system... MOBILE communication sys... MANIPULATIVE behavior
Fachzeitschrift
Merkliste
20

Using Control Dependencies for Space-Aware Bytecode Verification.
BERNARDESCHI, C. ; LETTIERI, G. ; MARTINI, L. ; et al.
Computer Journal; 2006, Vol. 49 Issue 2, p234-248, 15p, 2 Diagrams, 3 Charts, 4 Graphs

JAVA programming languag... SMART cards ALGORITHMS DATA flow computing COMPUTER storage devices FLOWGRAPHS
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter