- Видео 210
- Просмотров 192 965
CyLab
США
Добавлен 1 июн 2010
CyLab was founded in 2003 and is one of the largest university-based cybersecurity research and education centers in the U.S.
Connect and stay current:
Twitter: cylab
FaceBook: carnegiemelloncylab
Connect and stay current:
Twitter: cylab
FaceBook: carnegiemelloncylab
Matt Weinberg - Revisiting the Primitives of Transaction Fee Mechanism Design
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Matt Weinberg, Associate Professor at Princeton University, discusses his research on transaction fee mechanism design.
Originally recorded at Carnegie Mellon University on April 16, 2024.
#blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography #economics
Originally recorded at Carnegie Mellon University on April 16, 2024.
#blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography #economics
Просмотров: 60
Видео
Joseph Abadi - Token-Based Platform Governance
Просмотров 28Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Joseph Abadi, Economist at the Federal Reserve Bank of Philadelphia, discusses his research on token-based platform governance. Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography #economics #governance
Abdoulaye Ndiaye - Why Bitcoin and Ethereum Differ in Transaction Costs
Просмотров 17Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Abdoulaye Ndiaye, Assistant Professor of Economics at New York University, discusses his research on theoretical approaches to blockchain fee policies. Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography #ethereum #ether #eth #bitcoin #...
Abhiram Kothapalli - HyperNova: Towards Practical Zero-Knowledge Virtual Machines
Просмотров 43Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Abhiram Kothapalli, Doctoral Research Assistant at Carnegie Mellon University, discusses his research on HyperNova, a zero-knowledge recursive proof system that marks the latest development in a growing line of work that brings recursive proofs significantly closer to practice. Originally recorded at Carnegie Mellon University o...
Hao Chung - Collusion-Resilience in Transaction Fee Mechanism Design
Просмотров 22Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Hao Chung, Ph.D. student at Carnegie Mellon University, discusses his research on collusion-resilience in transaction fee mechanism design. Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography #economics
Jason Milionis - LVR (Loss-Versus-Rebalancing) and the Economics of Decentralized Exchanges
Просмотров 24Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Jason Milionis, Ph.D. student at Columbia University, discusses his research on LVR (loss-versus-rebalancing, pronounced "lever") and the economics of decentralized exchanges. Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography #economics
Carnegie Mellon University Secure Blockchain Summit - Day 1 Opening Remarks - April 16, 2024
Просмотров 25Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Elaine Shi, Associate Professor at Carnegie Mellon University's Computer Science Department and Department of Electrical and Computer Engineering, and Co-Director of the CMU Secure Blockchain Initiative, provides opening remarks during day 1 of the CMU Secure Blockchain Summit. Originally recorded at Carnegie Mellon University o...
Kartik Nayak - Sailfish: Towards Improving Latency of DAG-based BFT
Просмотров 37Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Kartik Nayak, Assistant Professor at Duke University, discusses his research on Sailfish, the first DAG-based BFT that supports a leader vertex in each decision-making "round." Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography
Ke Wu - Maximizing Miner Revenue in Transaction Fee Mechanism Design
Просмотров 40Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Ke Wu, Ph.D. candidate in the Computer Science Department at Carnegie Mellon University, discusses her research on maximizing miner revenue in transaction fee mechanism design. Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography
Mingxun Zhou - Proof of Compliance for Anonymous, Unlinkable Messages
Просмотров 5Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Mingxun Zhou, Ph.D. student at Carnegie Mellon University, discusses his research on proof of compliance for anonymous, unlinkable messages. Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cryptography
Sourav Das - Distributed Randomness using Weighted VRFs
Просмотров 5Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Sourav Das, Ph.D. Candidate at the University of Illinois Urbana-Champaign, discusses his research on three cryptographic protocols to enable generating shared randomness in a weighted setting. Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #cry...
Srivatsan Sridhar - Optimal Flexible Consensus and its Application to Ethereum
Просмотров 13Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Srivatsan Sridhar, Ph.D. candidate at Stanford University, discusses his research on optimal flexible consensus and its application to #Ethereum. Originally recorded at Carnegie Mellon University on April 16, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #ether #eth #cryptography
Carnegie Mellon University Secure Blockchain Summit - Policy Panel - April 17, 2024
Просмотров 17Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. An expert panel discusses policy responses to the activities that emerge from blockchain technologies. Moderator: Ariel Zetlin-Jones, Co-Director of the Carnegie Mellon University Secure Blockchain Initiative Panelists: - Chester Spatt, Professor of Finance at Carnegie Mellon University's Tepper School of Business - Peter Van Va...
Ethan Cechetti - SCIF: Securing Smart Contracts with Explicit Trust
Просмотров 7Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Ethan Cechetti, Assistant Professor at the University of Wisconsin-Madison, discusses his research on SCIF, a new #smartcontract language designed to protect smart contract systems from subtle attacks. Originally recorded at Carnegie Mellon University on April 17, 2024. #blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #d...
Kostas Ferles - Practical Security Analysis of Zero-Knowledge Proof Circuits
Просмотров 33Месяц назад
From the 2024 Carnegie Mellon University Secure Blockchain Summit. Kostas Ferles, Chief Research Officer at Veridise, discusses his research on common vulnerabilities in Circom, the most popular domain-specific language for zero-knowledge proof (ZKP) circuits, and describes a static analysis framework for detecting these vulnerabilities. Originally recorded at Carnegie Mellon University on Apri...
Bolton Bailey - Formal Verification of SNARK Soundness
Просмотров 3Месяц назад
Bolton Bailey - Formal Verification of SNARK Soundness
Carnegie Mellon University Secure Blockchain Summit - Day 2 Closing Remarks - April 17, 2024
Просмотров 8Месяц назад
Carnegie Mellon University Secure Blockchain Summit - Day 2 Closing Remarks - April 17, 2024
Abhi Srivastava Blockchain Interoperability Challenge and Cross chain Bridges mp4 Source
Просмотров 25Месяц назад
Abhi Srivastava Blockchain Interoperability Challenge and Cross chain Bridges mp4 Source
Ben Taylor - The Digital Asset Accounting Coalition
Просмотров 11Месяц назад
Ben Taylor - The Digital Asset Accounting Coalition
Bryan Routledge - Automated Exchange Economies
Просмотров 8Месяц назад
Bryan Routledge - Automated Exchange Economies
Hanan Hibshi - Training Developers to Spot Vulnerabilities in Blockchain Code
Просмотров 33Месяц назад
Hanan Hibshi - Training Developers to Spot Vulnerabilities in Blockchain Code
Harish Karthikeyan - PriDe CT: Towards Public Consensus, Private Transactions, and Forward Secrecy
Просмотров 5Месяц назад
Harish Karthikeyan - PriDe CT: Towards Public Consensus, Private Transactions, and Forward Secrecy
Paul Sengh - Modeling the Economic Incentives of Ethereum Staking
Просмотров 46Месяц назад
Paul Sengh - Modeling the Economic Incentives of Ethereum Staking
Fraser Brown - Modeling and Reasoning about Secure MPC Deployment
Просмотров 39Месяц назад
Fraser Brown - Modeling and Reasoning about Secure MPC Deployment
Jason Hong - Modeling Barriers to Self-Custody for Cryptocurrency Novices
Просмотров 39Месяц назад
Jason Hong - Modeling Barriers to Self-Custody for Cryptocurrency Novices
Carole House - Identity, Security, & Accountability: Critical Evolutions for Trustworthy Blockchain
Просмотров 31Месяц назад
Carole House - Identity, Security, & Accountability: Critical Evolutions for Trustworthy Blockchain
Giulia Fanti - How AMM Reward Functions Can (Dis-)Incentivize Strategic Liquidity
Просмотров 66Месяц назад
Giulia Fanti - How AMM Reward Functions Can (Dis-)Incentivize Strategic Liquidity
Osman Yağan - Analysis and Optimization of Resilience in Blockchain Peer-to-Peer Networks
Просмотров 16Месяц назад
Osman Yağan - Analysis and Optimization of Resilience in Blockchain Peer-to-Peer Networks
Osman Yağan - Analysis and Optimization of Resilience in Ripple Transaction Network
Просмотров 39Месяц назад
Osman Yağan - Analysis and Optimization of Resilience in Ripple Transaction Network
Sauvik Das on Human-Centered Systems Design
Просмотров 112Месяц назад
Sauvik Das on Human-Centered Systems Design
Excellent work please make it available for academic research
Great talk. This should be required as a EULA to obtain internet access for all humans. :)
slides: cse.ucsd.edu/sites/cse/files/cse/assets/docs/ucsd-10-7-2013.pptx paper: users.ece.cmu.edu/~arebert/papers/mayhem-oakland-12.pdf
You made a point to say that an xkcd.com-style passphrase is not better than a password but showed no data to support that. Why?
I'm glad he is pondering such things... also found he says: "it is freedom, security, convenience -- choose two -- then I will take freedom over security and security over convenience, and I will do so because I know that a world without failure is a world without freedom."
4:33 There are many things to fear, but a surveillance state is one of mine. He works for a firm that provides funding to provide high tech for the CIA. He says elsewhere that "if the tariff of security is paid, it will be paid in the coin of privacy."