We present Masquerade, a functional choreographic language that protects participant data from unauthorized reads by annotating data types with \emph{information-flow labels} representing the secrecy of data. Masquerade ensures that secret inputs to a well-typed choreography do not affect its public outputs, a security policy known as \emph{noninterference}. We are formalizing Masquerade in the Coq proof assistant. This paper provides a high-level overview of the design of Masquerade.