compsci   12989

« earlier    

CMSC430: Introduction to Compilers
The goal of CMSC 430 is to arm students with the ability to design, implement, and extend a programming language. Throughout the course, students will design and implement a substantial functional-language compiler of their own, over the course of several projects, and will explore various compiler-related topics such as intermediate representations, desugaring, continuation-passing style, closure conversion, formal semantics, garbage collection, type checking, and flow analysis.
compiler  class  compsci  racket 
yesterday by darren_n
Crypto 101
Crypto 101 is an introductory course on cryptography, freely available for programmers of all ages and skill levels.
cryptography  security  learning  education  introduction  compsci 
2 days ago by vicchow
Spinner: Semi-Automatic Detection of Pinning without Hostname Verification
We present Spinner, a new
tool for black-box testing for this vulnerability at scale that does
not require purchasing any certificates. By redirecting traffic to
websites which use the relevant certificates and then analysing the
(encrypted) network traffic we are able to determine whether the
hostname check is correctly done, even in the presence of certificate
pinning. We use Spinner to analyse 400 security-sensitive Android
and iPhone apps. We found that 9 apps had this flaw, including
two of the largest banks in the world: Bank of America and HSBC.
We also found that TunnelBear, one of the most popular VPN apps
was also vulnerable. These apps have a joint user base of tens of
millions of users.
tls  cybersecurity  app  banking  compsci  privacy  certificatepinning 
5 days ago by bwiese

« earlier    

related tags

2017  academia  ai  algebra  algorithm  algorithms  app  archaeogaming  architecture  archive  article  artificialintelligence  ast  audio  automatic-differentiation  banking  basecs  bayes  blog  book  books  c  calculus  ccna  certificatepinning  certification  check  class  cleanarch  code  coding  collection  compiler  compilers  computation  computer-science  computerscience  computing  concurrency  coq  cryptography  cs  culture  cybersecurity  data  database  datastructures  deep-learning  deep  dev  development  ebook  edtech  education  energy  engineering  evaluation  floatingpoint  fpga  free  freebook  functional  functionalprogramming  gamedev  gametheory  geek  genderinequality  github  google  graphs  green  greenhouse  guide  hackernews  hardware  haskell  history  hn  homepage  ifttt  indexing  informational  introduction  java  javascript  lambda  lang:python  language  learning  lisp  logic  machine-learning  machinelearning  market-worship  math  mathematics  maths  memory  ml  model  money  mozilla  mtg  naturallanguage  networking  neuroscience  nlp  numerical  onlineclasses  osi_model  paper  papers  paperswelove  parser  payment  pedagogy  people  perfman  performance  philosophy  physics  pl  playbook  primer  privacy  programming  proofs  publishing  python  racket  recommendation  reddit  reference  relieved  research  rust  scale  search  security  shiftinedu  social  software  sorting  speech  speechrecognition  speechtotext  statistics  structures  swtool  tdc  text  tls  toread  training  tutorial  typesetting  visualization  voice  webdev  weird  workforce  xp 

Copy this bookmark: