![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/layout.gif) | crc_tcp_checksum.pdf | 2014-12-01 12:03 | 297K | |
| from-l3-to-sel4.pdf | 2014-12-01 12:03 | 271K | |
| fuss_futexes_and_furwocks.pdf | 2014-12-01 12:03 | 125K | |
| lietdke-1.pdf | 2014-12-01 12:03 | 247K | |
| uml_paper1.pdf | 2014-12-01 12:03 | 150K | |
| wpid-asplos2014-kvm.pdf | 2014-12-01 12:03 | 563K | |
| 2013-AsiaCCS-PSiOS.pdf | 2014-12-01 12:03 | 1.6M | |
| exploiting_concurrency_vulnerabilities_in_system_call_wrappers.pdf | 2014-12-01 12:03 | 181K | |
| futexes_are_tricky.pdf | 2014-12-01 12:03 | 233K | |
| mptcp-nsdi12.pdf | 2014-12-01 12:03 | 367K | |
| pointless_tainting.pdf | 2014-12-01 12:03 | 631K | |
| uml_paper2.pdf | 2014-12-01 12:03 | 321K | |
| xen_and_the_art_of_virtualization.pdf | 2014-12-01 12:03 | 285K | |
| a_survey_of_checkpoint_restart_implementations.pdf | 2014-12-01 12:03 | 72K | |
| android_permissions.pdf | 2014-12-01 12:03 | 350K | |
| l4android.pdf | 2014-12-01 12:03 | 338K | |
| connection_handoff_policies_for_tcp_offload_network_interfaces.pdf | 2014-12-01 12:03 | 349K | |
| energy_management_for_hypervisor_based_virtual_machines.pdf | 2014-12-01 12:03 | 546K | |
| kvm-for-arm.pdf | 2014-12-01 12:03 | 219K | |
| locking_vs_transactional_memory.pdf | 2014-12-01 12:03 | 176K | |
| publishing-intro.pdf | 2014-12-01 12:03 | 1.8M | |
| read-copy-update.pdf | 2014-12-01 12:03 | 98K | |
| transactional_memory.pdf | 2014-12-01 12:03 | 1.0M | |
| kibbutz.pdf | 2015-01-03 16:12 | 1.0M | |
| ctrlchannels-oakland-2015.pdf | 2015-12-14 13:40 | 1.2M | |
|
|---|