Fiat Cryptography: A Code-Generation Approach to Correct-by-Construction Cryptography

Filter by date:   From To
Note: these filters only apply to the usage statistics (number of views and amount of data downloaded).

Total views: 13 (updated daily)
Disk space used: 2.50 GB
Media belongs to collection: Verified software: from theory to practice

Viewing history (views per day)     << 1 wk | 1 mon | 3 mon | 1 yr | all >>     Precision:  day | week | month
Download historical data

Statistics by clip

Each clip represents a different encoding of the media item - different formats, quality settings or optimisations for downloading or streaming. The 'Archive' clips (if present) are for internal use, and are not directly viewable.

Clip Views ↓ Format Quality Stream/download Disk space
Clip 3527608 12 MPEG-4 Video 360p Download 93.46 MB
Clip 3527610 1 iPod Video High Download 103.12 MB
Clip 3527606 0 Archive audio High Download 48.98 MB
Clip 3527607 0 H264 Archive video High Download 2.16 GB
Clip 3527611 0 MP3 High Download 52.68 MB
Clip 3527609 0 WebM 360p Download 53.38 MB


Viewing figures by format, quality and client

Format Quality
  High 360p Total
MPEG-4 Video - 12 12
iPod Video 1 - 1
Totals 1 12 13
Client
Web browsers 13
iTunes 0
Location
Within the University 0
Elsewhere 13
Protocol
HTTP 13
RTSP 0

Viewing figures by country

Country
Germany 2
Australia 1
Canada 1
China 1
Hungary 1
Japan 1
Mexico 1
Netherlands 1
Sweden 1
United States 1
South Africa 1
Unknown 1
Download viewing figures by country

This product includes GeoLite data created by MaxMind, available from http://www.maxmind.com.
Specifically these viewing figures by country were created using the GeoLite City database, available from http://dev.maxmind.com/geoip/geolite.