About me
I'm a senior at Brown University pursuing an Sc.B in Computer Science. My academic interests lie in applied cryptography, decentralized networks, data science and computer graphics. In my spare time, I enjoy traveling, exploring what lies beyond horizons, and practicing Ghanaian drumming and dancing.
My Erdős number is 4 (Erdős → Suen → Upfal → Riondato → Sacha).
Research Projects
Certifying Scientific Studies with Cryptography
Increasingly, studies across the scientific community are uncovered as being false discoveries. This phenomena is largely due to
“phacking” — the process of repeatedly testing hypotheses on a dataset until an interesting
result emerges. Since hypothesis testing inherently involves a small failure probability, given enough tests performed
on a single data set, a spurious correlation will emerge. This leads to obviously absured and unreplicatable claims being published in dubious news outlets (e.g., “A new study shows that drinking a glass of wine is just as good as spending an hour at the gym”) with the claim “pvalue < 0.05!” but also affects reputable institutions and journals where more subtle forms of data dredging are present as well.
Accurately controlling for such errors is notoriously difficult since there are no existing means of tracking researcher bias during the testing procedure which leave many studies up to good faith.
With the massive amounts of data available to researchers today, phacking is becoming a serious concern, with some journals outright refusing to consider studies involving pvalues prior to having them reproduced by independent researchers (a costly and tedious endeavour).
My research has led me to develop a system called Custodes which provably certifies valid hypothesis testing procedures using cryptography. The system uses a novel approach of combining homomorphic encryption, secure multiparty computation, and distributedledgers to enforce the validity of statistical tests performed on data and as a result eliminates the possiblity for phacking to occur.
Progressive Sequence Mining Algorithms
Data visualization tools such as Vizdom are highly interactive and require that results be displayed to users without compromising interaction. Unfortunately, numerous data mining algorithms are slow and require several seconds to minutes prior to producing a useful result to a given query. This leaves visualization tools with an ultimatum: either break all user interaction by running the algorithms onthespot or precompute all possible queries ahead of the exploration task (an unreasonable assumption in many cases).
My research involved developing "progressive" data mining algorithms which output many incremental and useful results, quickly converging on an exact output, while simultaneously providing strong error guarantees on each output. With the progressive algorithm, rather than waiting minutes for a result of a data mining query to be displayed, a highquality, converging, approximation to the exact output is displayed every few milliseconds thus enabling true interaction between the data exploration task and the user.
Crypto Scheme Implementations
BGN Homomorphic Encryption Scheme
My implemention of the BGN homomorphic encryption scheme.
The implementation is based on the construction described in: Evaluating 2DNF Formulas on Ciphertexts.
ThresholdPaillier Homomorphic Encryption Scheme with ZKPs
An extended implementation of the ThresholdPaillier scheme with some other nice properties and proofs.
The scheme is based on the paper construction described in: Multiparty Computation from Threshold Homomorphic Encryption.
The original repository can be found here.
Publications

Cryptographically Certified Hypothesis Testing,
S. ServanSchreiber.
Senior Honors Thesis, Brown University, 2018.

ProSecCo: Progressive Sequence Mining with Convergence Guarantees,
S. ServanSchreiber, M. Riondato, and E. Zgraggen.
IEEE ICDM'18 2018
Best Student Paper runnerup Award 
Towards Quantifying Uncertainty in Data Analysis & Exploration,
Y Chung, S ServanSchreiber, E Zgraggen, T Kraska.
IEEE Data Engineering Bulletin, 41 (3), 2018
Miscellaneous
Links from around the web:
Browser Fingerprinting · ZeroKnowledge Proofs · Patterns That Eventually Fail · SNOW · Visualizing Algorithms · The Weird Science of Naming New Products · Vignelli Cannon
Thought Provoking
Good music
Kwaku Kwaakye Obeng · Roots of Hilife · Electric Octopus · Boozoo Bajou · Nicola Cruz · Somali Yacht Club · Booker T. Jones · Gregory Isaacs
Favorite quotes
“Have nothing in your house that you do not know to be useful or believe to be beautiful.”— William Morris, Hopes and Fears for Art, 1882.
“Art is an outlet toward regions which are not ruled by time and space.” — Marcel Duchamp.
“Let the future tell the truth, and evaluate each one according to his work and accomplishments. The present is theirs; the future, for which I have really worked, is mine.” — Nikola Tesla.
“The man who has fed the chicken every day throughout its life at last wrings its neck instead, showing that more refined views as to the uniformity of nature would have been useful to the chicken.” — Bertrand Russell, The Problems of Philosophy, 1912.