pdf - Link to a PDF document | Lobsters

Stories tagged as pdf – Link to a PDF document

1

Particle Swarm Optimization: A Tutorial pdf math cs.armstrong.edu
via friendlysock 7 hours ago | cached | no comments

0
3

Static Analysis of Binary Executables ☶ pdf assembly formalmethods reversing stevehanov.ca
via nickpsecurity 12 hours ago | cached | no comments

0
6

Case Study of a Program using an Agile Software Development Process ☶ pdf practices conferences.computer.org
via GeoffWozniak 45 hours ago | cached | 4 comments

4
1

Send Hardest Problems My Way: Probabilistic Path Prioritization for Hybrid Fuzzing ☶ pdf formalmethods security testing cs.ucr.edu
via hyperpape 2 days ago | cached | no comments

0
2

DMON: A Distributed Heterogeneous N-Variant System pdf security arxiv.org
via fro 3 days ago | cached | no comments

0
1

skiOS: Lightweight Defense Against Kernel-Level Code-Reuse Attacks pdf security arxiv.org
via fro 3 days ago | cached | no comments

0
9

Achieving Safety Incrementally with Checked C pdf c plt security cs.umd.edu
via calvin 3 days ago | cached | no comments

0
8

Communication Files: Interprocess IO before Pipes (2017) pdf osdev unix cs.dartmouth.edu
via zge 4 days ago | cached | 2 comments

2
1

Exploiting and Automated Detection of Vulnerabilities in Web Applications (2007) pdf compsci security web zemris.fer.hr
via nickpsecurity 5 days ago | cached | no comments

0
3

A People's Guide to Artificial Intelligence (2018) pdf ai alliedmedia.org
via iml 6 days ago | cached | 1 comment

1
1

Resource-safe Systems Programming with Embedded Domain Specific Languages ☶ pdf formalmethods plt programming eb.host.cs.st-andrews.ac.uk
via nickpsecurity 6 days ago | cached | no comments

0
3

Context-Sensitive Fencing: Securing Speculative Execution via Microcode Customization pdf security cs.virginia.edu
via fro 7 days ago | cached | no comments

0
3

A Framework to Secure Applications with ISA Heterogeneity pdf security xiaoguang.wang
via fro 7 days ago | cached | no comments

0
3

GraphBLAS Mathematics: Provisional Release 1.0 ☶ pdf math programming release mit.edu
via nickpsecurity 9 days ago | cached | 2 comments

2
22

Growing a Language by Guy Steele (1998) ☶ pdf plt cs.virginia.edu
via fcbsd 10 days ago | cached | 16 comments

16
2

Generating Finite State Machines from Abstract State Machines (2002) ☶ pdf compsci formalmethods programming testing microsoft.com
via nickpsecurity 12 days ago | cached | no comments

0
0

SPOILER: Speculative Load Hazards Boost Rowhammer and Cache Attacks pdf hardware security arxiv.org
via skunkwerks 12 days ago | cached | 3 comments

3
1

Finding Error-Handling Bugs in Systems Code Using Static Analysis (2012) ☶ pdf c formalmethods security web.cs.ucdavis.edu
via nickpsecurity 13 days ago | cached | no comments

0
11

"If you want, I can store the encrypted password." A Password-Storage Field Study with Freelance Dev pdf security net.cs.uni-bonn.de
via hwayne 14 days ago | cached | 3 comments

3
3

Visual Information Flow through C Programs (2010) pdf slides c formalmethods security gilith.com
via nickpsecurity 14 days ago | cached | 3 comments

3
41

Oxide: The Essence of Rust pdf formalmethods plt rust arxiv.org
via calvin 14 days ago | cached | 8 comments

8
1

Learning Latent Plans from Play pdf ai arxiv.org
via animatronic 14 days ago | cached | no comments

0
7

Metamorphic Testing: A New Approach for Generating Next Test Cases (1998) pdf testing cse.ust.hk
via hwayne 16 days ago | cached | 2 comments

2
5

Writing User-Space, Network Drivers ☶ pdf c linux networking virtualization arxiv.org
via nickpsecurity 16 days ago | cached | no comments

0
14

Fundamentals of Grassmann Algebra pdf math terathon.com
via friendlysock 17 days ago | cached | no comments

0