Crates.io | maybenot |
lib.rs | maybenot |
version | 2.0.1 |
source | src |
created_at | 2023-03-03 10:10:33.076047 |
updated_at | 2024-10-24 21:38:42.376156 |
description | A framework for traffic analysis defenses |
homepage | https://maybenot.io |
repository | https://github.com/maybenot-io/maybenot |
max_upload_size | |
id | 799647 |
size | 297,285 |
Maybenot is a framework for traffic analysis defenses that hide patterns in encrypted communication. Its goal is to increase the uncertainty of network attackers, hence its logo 🤔 - the thinking face emoji (U+1F914).
Consider encrypted communication protocols such as QUIC, TLS, Tor, and WireGuard. While the connections are encrypted, patterns in the encrypted communication may still leak information about the communicated plaintext. Maybenot is a framework for creating defenses that hide such patterns.
To simulate defenses based on Maybenot, see the Maybenot simulator.
An instance of Maybenot repeatedly takes as input one or more events describing the encrypted traffic going over an encrypted channel. It produces as output zero or more scheduled actions, such as to send padding traffic or to block outgoing traffic. One or more state machines determine what actions to take based on events. State machines have a lightweight runtime and are subject to limits on the amount of padding and blocking they can schedule.
Integration with an encrypted communication protocol is done by reporting events and executing scheduled actions. Maybenot does not specify the specific async runtime or how to keep time for ease of integration.
use crate::{Framework, Machine, TriggerAction, TriggerEvent};
use std::{str::FromStr, time::Instant};
// deserialize a machine, this is a "no-op" machine that does nothing
let s = "02eNpjYEAHjOgCAAA0AAI=";
let m = vec![Machine::from_str(s).unwrap()];
// create framework instance
let mut f = Framework::new(&m, 0.0, 0.0, Instant::now(), rand::thread_rng()).unwrap();
loop {
// collect one or more events
let events = [TriggerEvent::NormalSent];
// trigger events, schedule actions, at most one per machine
for action in f.trigger_events(&events, Instant::now()) {
match action {
TriggerAction::Cancel {
machine: MachineId,
timer: Timer,
} => {
// cancel the specified timer (action, machine, or both) for the
// machine in question, if any
}
TriggerAction::SendPadding {
timeout: Duration,
bypass: bool,
replace: bool,
machine: MachineId,
} => {
// schedule padding to be sent after timeout
}
TriggerAction::BlockOutgoing {
timeout: Duration,
duration: Duration,
bypass: bool,
replace: bool,
machine: MachineId,
} => {
// block outgoing traffic for the specified duration after timeout
}
TriggerAction::UpdateTimer {
duration: Duration,
replace: bool,
machine: MachineId,
} => {
// update the internal timer for the machine in question
}
}
}
}
See the WPES 2023 paper and documentation for further details on the framework.
The current version of the framework includes a number of improvements over v1, some of which are discussed in the paper. Refer to the arXiv design document for an in-depth explanation of the new capabilities (soon updated to v2).
Development of defenses using Maybenot is under active development. For some early results, see https://github.com/ewitwer/maybenot-defenses.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as MIT or Apache-2.0, without any additional terms or conditions.
Maybenot is based on the Circuit Padding Framework of Tor by Perry and Kadianakis from 2019, which is a generalization of the WTF-PAD Website Fingerprinting Defense design by Juarez et al. from 2016, which in turn is based on the concept of Adaptive Padding by Shmatikov and Wang from 2006.
Made possible with support from Mullvad VPN, the Swedish Internet Foundation, and the Knowledge Foundation of Sweden.