ERD

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Project: Browsec

Updated at: 01-10-2024

Show more information

Project acronym Browsec

Periodic Reporting for period 4 - Browsec (Foundations and Tools for Client-Side Web Security)

Project: Browsec

Updated at: 03-08-2024

Show more information

Project acronym Browsec

The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contrac...

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Cross-Layer Deanonymization Methods in the Lightning Protocol

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Strategic Analysis of Griefing Attack in Lightning Network

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Equivalence Properties by Typing in Cryptographic Branching Protocols

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Language-Based Web Session Integrity

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Bulwark: Holistic and Verified Security Monitoring of Web Protocols

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Thora: Atomic and Privacy-Preserving Multi-Channel Updates

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Introducing robust reachability

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Formal Methods for the Security Analysis of Smart Contracts

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

The Bridge between Web Applications and Mobile Platforms is Still Broken

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Sleepy Channels: Bi-directional Payment Channels without Watchtowers

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Group ORAM for privacy and access control in outsourced personal records

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Verifying Relational Properties using Trace Logic

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Data Management Plan

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Foundations and Tools for the Static Analysis of Ethereum Smart Contracts

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Functional Credentials

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Simple Password-Hardened Encryption Services

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

From Firewalls to Functions and Back

Project: Browsec

Updated at: 27-04-2024

Show more information

Project acronym Browsec

Resources

Selected filters:

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Periodic Reporting for period 4 - Browsec (Foundations and Tools for Client-Side Web Security)

The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contrac...

Cross-Layer Deanonymization Methods in the Lightning Protocol

Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web

Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference

Strategic Analysis of Griefing Attack in Lightning Network

Equivalence Properties by Typing in Cryptographic Branching Protocols

Language-Based Web Session Integrity

Bulwark: Holistic and Verified Security Monitoring of Web Protocols

Thora: Atomic and Privacy-Preserving Multi-Channel Updates

Introducing robust reachability

Formal Methods for the Security Analysis of Smart Contracts

Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

The Bridge between Web Applications and Mobile Platforms is Still Broken

Sleepy Channels: Bi-directional Payment Channels without Watchtowers

Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks

Group ORAM for privacy and access control in outsourced personal records

Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem

Verifying Relational Properties using Trace Logic

Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability

Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments

Data Management Plan

Foundations and Tools for the Static Analysis of Ethereum Smart Contracts

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Functional Credentials

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

Simple Password-Hardened Encryption Services

From Firewalls to Functions and Back