Crate avx_browser

Crate avx_browser 

Source
Expand description

§avx Browser

High-assurance web browser implementing multi-layer onion routing architecture

§Adversarial Model

  • Passive Adversary: Observes network traffic without modification capabilities
  • Active Adversary: Possesses packet manipulation, injection, and dropping capabilities
  • Global Adversary: Exhibits omniscient network monitoring capabilities (nation-state level)

§Cryptographic Security Properties

  • Sender-Receiver Anonymity: Computational unlinkability of communicating parties
  • Session Unlinkability: Infeasibility of correlating distinct protocol sessions
  • Communication Unobservability: Statistical indistinguishability from random noise
  • Perfect Forward Secrecy: Retroactive security guarantee under key compromise
  • Traffic Analysis Resistance: Countermeasures against temporal and volumetric side-channels

Re-exports§

pub use core::Browser;
pub use core::BrowserConfig;
pub use core::Request;
pub use core::Response;
pub use core::BrowserError;
pub use layers::LayerStack;
pub use layers::ProtectionLayer;
pub use layers::LayerType;
pub use protocols::HttpProtocol;
pub use protocols::QuicProtocol;
pub use protocols::DohProtocol;
pub use rendering::Dom;
pub use rendering::CssParser;
pub use rendering::LayoutEngine;

Modules§

core
Core browser functionality
layers
Multi-layer onion routing protocol stack
protocols
Network protocol implementations with cryptographic transport
rendering
HTML/CSS rendering engine with DOM tree construction and layout computation