Hi
user
Admin Login:
Username:
Password:
Name:
Introduction to Security Testing with SAT Solvers
--client
pyconca
--show
pyconca2013
--room Terrace 2594 --force
Next: 1 Ontario Beer Finder App
show more...
Marks
Author(s):
Vijay Ganesh
Location
Terrace
Date
aug Sun 11
Days Raw Files
Start
12:39
First Raw Start
error-in-template
Duration
00:06:00
Offset
None
End
12:45
Last Raw End
Chapters
Total cuts_time
None min.
https://2013.pycon.ca/en/schedule/presentation/108/
raw-playlist
raw-mp4-playlist
encoded-files-playlist
public
mp4
svg
png
assets
release.pdf
Introduction_to_Security_Testing_with_SAT_Solvers.json
logs
Admin:
episode
episode list
cut list
raw files day
marks day
marks day
image_files
State:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
Locked:
clear this to unlock
Locked by:
user/process that locked.
Start:
initially scheduled time from master, adjusted to match reality
Duration:
length in hh:mm:ss
Name:
Video Title (shows in video search results)
Emails:
email(s) of the presenter(s)
Released:
has someone authorised pubication
Unknown
Yes
No
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
markdown
Automatic security testing remains a key challenge for the software industry. In the last few years, there has been a wealth of techniques developed in academia from diverse variety of fuzzing to Boolean SAT solver-based symbolic testing. I will briefly talk about the opportunities and challenges of test automation with a special focus on SAT solvers.
Comment:
production notes
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
Veyepar
Video Eyeball Processor and Review