Канал: Blockchain Academy Network

16.4. Attacks and Pitfalls: Side-channel Leakage

16.4. Attacks and Pitfalls: Side-channel Leakage

16.3. Attacks and Pitfalls: Examples

16.3. Attacks and Pitfalls: Examples

16.2. Attacks and Pitfalls: Malicious Input

16.2. Attacks and Pitfalls: Malicious Input

16.1. Attacks and Pitfalls: Threat Modelling

16.1. Attacks and Pitfalls: Threat Modelling

15.4. Systems Security: Access Control

15.4. Systems Security: Access Control

15.3. Systems Security: Authorization

15.3. Systems Security: Authorization

15.1. Systems Security: TCB and Firewalls

15.1. Systems Security: TCB and Firewalls

15.2. Systems Security: Malware and Intrusion Detection

15.2. Systems Security: Malware and Intrusion Detection

14.3. Network Security: TLS and IPSec

14.3. Network Security: TLS and IPSec

14.2. Network Security: Diffie-Hellman

14.2. Network Security: Diffie-Hellman

14.1. Network Security: Authenticated Key Exchange

14.1. Network Security: Authenticated Key Exchange

13.4. Nakamoto Style Consensus: Understanding Tree Growth

13.4. Nakamoto Style Consensus: Understanding Tree Growth

13.2. Nakamoto Style Consensus: The Lottery

13.2. Nakamoto Style Consensus: The Lottery

13.3. Nakamoto Style Consensus: The Protocol in Detail

13.3. Nakamoto Style Consensus: The Protocol in Detail

13.1. Nakamoto Style Consensus: Setting the Stage

13.1. Nakamoto Style Consensus: Setting the Stage

12. Cryptocurrencies and Smart Contracts

12. Cryptocurrencies and Smart Contracts

11.3. Replicated State Machines: Asynchronous Totally-Ordered Broadcast

11.3. Replicated State Machines: Asynchronous Totally-Ordered Broadcast

11.2. Replicated State Machines: (Synchronous) Totally-Ordered Broadcast

11.2. Replicated State Machines: (Synchronous) Totally-Ordered Broadcast

11.1. Replicated State Machines: Setting the stage

11.1. Replicated State Machines: Setting the stage

10.2. Key Management: Passwords

10.2. Key Management: Passwords

10.3. Key Management: Hardware, Biometrics

10.3. Key Management: Hardware, Biometrics

10.1. Key Management: KDC and CAs

10.1. Key Management: KDC and CAs

9.4. Asynchronous Agreement: Impossibility Results

9.4. Asynchronous Agreement: Impossibility Results

9.3. Asynchronous Byzantine Agreement

9.3. Asynchronous Byzantine Agreement

9.2. Asynchronous Agreement: Broadcast from Auth. Channels

9.2. Asynchronous Agreement: Broadcast from Auth. Channels

9.1. Asynchronous Agreement: Broadcast from Signatures

9.1. Asynchronous Agreement: Broadcast from Signatures

8.5. Synchronous Agreement: Lower Bound on Round Complexity

8.5. Synchronous Agreement: Lower Bound on Round Complexity

8.4. Synchronous Agreement: Byzantine Agreement

8.4. Synchronous Agreement: Byzantine Agreement

8.3. Synchronous Agreement: Broadcast with Auth. Channels

8.3. Synchronous Agreement: Broadcast with Auth. Channels

8.2. Synchronous Agreement: Dolev-Strong Protocol

8.2. Synchronous Agreement: Dolev-Strong Protocol

8.1. Synchronous Agreement: Setting the Stage

8.1. Synchronous Agreement: Setting the Stage

6.3. Authenticity: RSA signatures and Replay Protection

6.3. Authenticity: RSA signatures and Replay Protection

6.2. Authenticity: Hash Functions and Signatures

6.2. Authenticity: Hash Functions and Signatures

6.1. Authenticity: Message Authentication Codes

6.1. Authenticity: Message Authentication Codes

0.3. Introduction to Security

0.3. Introduction to Security

5.4. Confidentiality: Modular Arithmetic and OAEP

5.4. Confidentiality: Modular Arithmetic and OAEP

5.2. Confidentiality: Practical Secret-Key Encryption

5.2. Confidentiality: Practical Secret-Key Encryption

5.3. Confidentiality: Public-key Encryption

5.3. Confidentiality: Public-key Encryption

5.1. Confidentiality: Intro and One-Time Pad

5.1. Confidentiality: Intro and One-Time Pad

4.3. Consistent Communication: Total Order

4.3. Consistent Communication: Total Order

4.2. Consistent Communication: Causal Order

4.2. Consistent Communication: Causal Order

4.1. Consistent Communication: Setting the Stage

4.1. Consistent Communication: Setting the Stage

3. Models of Distributed Systems

3. Models of Distributed Systems

7.2. Round-based Synchronous Protocols

7.2. Round-based Synchronous Protocols

7.1. Physical Clocks and Synchronization

7.1. Physical Clocks and Synchronization

2. Communication Channels

2. Communication Channels

0.2. Introduction to Distributed Systems: a motivating example

0.2. Introduction to Distributed Systems: a motivating example

0.1. Introduction to Distributed Systems

0.1. Introduction to Distributed Systems

1. Specifying and Proving Distributed Systems

1. Specifying and Proving Distributed Systems