Boosting 5Vdc output to 12Vdc output

So are you trying to get the sensor to input to the Arduino? If so you can use a simple 4N25 Optoisolator its a NPN type and you could use it either as a input from the 12 volts to send a signal to the Arduino or as a output from the Arduino to your 12 sensor. Best part is since its isolated you wont damage either device.