Skip to content
<title>Channels - ContractFull: a rapid and comprehensive static analysis tool for Ethereum smart contracts :: FRELIP Discovery
-
Cracking IoT security: can LLMs outsmart static analysis tools?
-
Do code LLMs do static analysis?
-
Policy-Bound, Verifier-Pluggable Smart Contract Framework for Auditable Healthcare Analytics
-
OMEinsumContractionOrders: A Julia package for tensor network contraction order optimization
-
Prediction of defects in Smart Contracts applying Deep Learning with Solidity metrics
-
Tailored Prompts, Targeted Protection: Vulnerability-Specific LLM Analysis for Smart Contracts
-
Vibe Econometrics and the Analysis Contract
-
Automata for Specifying and Orchestrating Service Contracts
-
Retractability, games and orchestrators for session contracts
-
Verifying liquidity of recursive Bitcoin contracts
-
ArkTS code generation: A comprehensive evaluation with large language models
-
The application of blockchain and smart contracts in the trusted evidence storage of carbon trading data of listed companies
-
Linux Kernel Developers Adopt New Fuzzing Tools
-
The Legal Framework of Smart Contracts in the Arabian Gulf
-
Firefox 149 Arrives with Built-In VPN, Split View, and Smarter Browsing Tools
-
Blender 5.1 Released: Faster Workflows, Smarter Tools, and Major Performance Gains
-
Thunderbird 150 Lands on Linux: Smarter Encryption, Better Tools, and a Polished Experience
-
MX Linux 25 ‘Infinity’ Arrives: Debian 13 ‘Trixie’ Base, Modern Tools & A Fresh Installer
-
Using higher-order contracts to model session types
-
NETWORK ANALYSIS OF ETHEREUM LAYER 2
-
Distributional Robustness of Linear Contracts
-
Mathematical Modelling of the Impact of Developer Experience Metrics on the Duration of the Release Cycle in Full-Stack Projects
-
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
-
Role of IoT in Disaster Monitoring and Response: A Comprehensive Review
