zweidimensionales bewegtes Bild
Practical Smart Contract Sharding with Static Program Analysis
- Standort
-
Hannover TIB
- Umfang
-
2537MB, 01:03:19:02 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
9th Workshop on Dependable and Secure Software Systems, 2022 ; (Jan. 2022)
- Ereignis
-
Veröffentlichung
- (wer)
-
Eidgenössische Technische Hochschule Zürich (ETH Zürich)
- (wann)
-
2022-01-01
- Beteiligte Personen und Organisationen
-
Sergey, Ilya
Müller, Peter (Moderation)
- DOI
-
10.5446/60320
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Sergey, Ilya
- Müller, Peter (Moderation)
- Eidgenössische Technische Hochschule Zürich (ETH Zürich)
Entstanden
- 2022-01-01
Ähnliche Objekte (12)
Cross-blockchain smart contract interoperability
An abstract specification language for static program analysis
Constructing a Static Program Slicer for R Programs
SMT-based false positive elimination in static program analysis
Standard form contracts and a smart contract future
India's Smart City Program: Challenges and Opportunities
Solana JIT: Lessons from fuzzing a smart contract compiler
SCIP 2.0 : horizontally extending the Smart Contract Invocation Protocol
Implications of blockchain-based smart contracts on contract law
Smart contract based framework to increase transparency of manufacturing networks
Static security analysis of Java applications with an approach based on Design by Contract
The design and implementation of a decentralized smart contract descriptor repository
Cross-blockchain smart contract interoperability
An abstract specification language for static program analysis
Constructing a Static Program Slicer for R Programs
SMT-based false positive elimination in static program analysis
Standard form contracts and a smart contract future
India's Smart City Program: Challenges and Opportunities
Solana JIT: Lessons from fuzzing a smart contract compiler
SCIP 2.0 : horizontally extending the Smart Contract Invocation Protocol
Implications of blockchain-based smart contracts on contract law
Smart contract based framework to increase transparency of manufacturing networks
Static security analysis of Java applications with an approach based on Design by Contract
The design and implementation of a decentralized smart contract descriptor repository
Cross-blockchain smart contract interoperability
An abstract specification language for static program analysis
Constructing a Static Program Slicer for R Programs
SMT-based false positive elimination in static program analysis
Standard form contracts and a smart contract future
India's Smart City Program: Challenges and Opportunities
Solana JIT: Lessons from fuzzing a smart contract compiler
SCIP 2.0 : horizontally extending the Smart Contract Invocation Protocol
Implications of blockchain-based smart contracts on contract law
Smart contract based framework to increase transparency of manufacturing networks
Static security analysis of Java applications with an approach based on Design by Contract